Search results

types for algebraizable extensions of first order logic 2009-11-30 Paper On a theorem of Vaught for first order logic with finitely many variables 2009-11-30...

weak implicational logics 1982-01-01 Paper Illative combinatory logic without equality as a primitive predicate 1982-01-01 Paper Predicate calculus and naive...

of first-order modal and intuitionistic logics with two variables and one monadic predicate letter 2017-06-15 Paper Kripke incompleteness of first-order...

theorems for non-classical first-order algebraizable logics: Table 1. 2019-01-08 Paper Back-and-forth systems for fuzzy first-order models 2018-10-16 Paper...

many-sorted equational logic, Horn logic with equality, and rewriting logic 2013-10-02 Paper Tiling transactions in rewriting logic 2013-10-02 Paper Modular rewriting...

of epsilon substitution for the predicate logic with equality 1999-11-22 Paper Cut-elimination for simple type theory with an axiom of choice 1999-09-12...

2009-03-17 Paper On copulas, quasicopulas and fuzzy logic 2008-08-21 Paper A note on the first‐order logic of complete BL‐chains 2008-08-15 Paper https://portal...

Description Logics (Invited Talk). 2018-07-18 Paper One-dimensional fragment of first-order logic 2018-04-23 Paper Decidability of predicate logics with team...

Finite-Variable Logics Do Not Have Weak Beth Definability Property 2017-08-28 Paper On a new semantics for first-order predicate logic 2017-07-19 Paper...

Constraint Propagation for First-Order Logic and Inductive Definitions 2015-09-17 Paper Lazy Model Expansion: Interleaving Grounding with Search 2015-03-04 Paper...

Finite-Variable Logics Do Not Have Weak Beth Definability Property 2017-08-28 Paper On a new semantics for first-order predicate logic 2017-07-19 Paper...

reasoning with generalized quantifier in the lattice-valued first-order logic \(\mathrm{LF}(X)\) 2016-03-15 Paper An operator proposition logic system and...

description logic in disguise 2023-04-04 Paper QMaxSATpb: a certified MaxSAT solver 2023-04-04 Paper Executable First-Order Queries in the Logic of Information...

2009-03-05 Paper iProver – An Instantiation-Based Theorem Prover for First-Order Logic (System Description) 2008-11-27 Paper Theory Instantiation 2008-05-27...

EQUATIONS 2005-12-09 Paper First order quantifiers in monadic second order logic 2005-08-29 Paper Barwise: Infinitary Logic and Admissible Sets 2005-05-24...

1972-01-01 Paper Object logic and morphism logic 1972-01-01 Paper A new theorem on definability in a positive second order logic with countable conjunctions...

1975-01-01 Paper Liberated Brouwerian Modal Logic 1974-01-01 Paper A Theory of Equality for a Class of Many‐Valued Predicate Calculi 1974-01-01 Paper NOTES ON “GARDEN...

de/entity/Q4684438 2018-09-28 Paper FORMALIZING THE META-THEORY OF FIRST-ORDER PREDICATE LOGIC 2018-03-27 Paper Mechanizing metatheory without typing contexts...

Paper Bisimulation quantifiers and uniform interpolation for guarded first order logic 2014-12-12 Paper https://portal.mardi4nfdi.de/entity/Q5420064 2014-06-11...

extensions of first-order logic 2020-06-09 Paper Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate 2019-10-31 Paper...