Coalgebraic Predicate Logic: Equipollence Results and Proof Theory

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-36976-6_16
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

A Nonconstructive Proof of Gentzen's Hauptsatz for Second Order Predicate Logic

Bulletin of the American Mathematical Society
1966English

Predicate Logic With Anaphora

Semantics and Linguistic Theory
1994English

Foreword: Special Issue on Coalgebraic Logic

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2016English

A Finite Model Construction for Coalgebraic Modal Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Predicate Logic and Tree Automata With Tests

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Formalising Design Patterns in Predicate Logic

2007English

Enhancement of Cloud Authorization System Using Predicate Logic

International Journal of Security and its Applications
Computer Science
2017English

Generating Hard Tautologies Using Predicate Logic and the Symmetric Group

Logic Journal of the IGPL
Philosophy
2000English

Logic and Proof in Computer Science

Advances in Knowledge Acquisition, Transfer, and Management
English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy