Search results

mardi4nfdi.de/entity/Q2844067 2013-08-27 Paper Transforming equality logic to propositional logic 2013-04-19 Paper A Rewriting View of Simple Typing 2013-04-09...

and Weakening in Fuzzy Horn Logic 2006-01-18 Paper Fuzzy Horn logic. I. Proof theory. 2006-01-10 Paper Fuzzy equational logic 2005-08-17 Paper...

proving 2012-07-31 Paper Polytool: Polynomial interpretations as a basis for termination analysis of logic programs 2011-08-17 Paper Dependency Triples...

Intensional interpretations of functionals of finite type I 1967-01-01 Paper A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic 1966-01-01...

Date of Publication Type Embedding first order predicate logic in fragments of intuitionistic logic 1977-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4775861...

Approach to Exploring Description Logic Knowledge Bases 2010-04-14 Paper Exploring Finite Models in the Description Logic ${\mathcal {EL}}_{\rm gfp}$ 2009-06-03...

2011-06-21 Paper Underspecified Interpretations in a Curry-typed Representation Language 2005-07-13 Paper An Expressive First-Order Logic with Flexible Typing for...

programs 1994-06-02 Paper Abstract Interpretation Frameworks 1993-06-29 Paper Abstract interpretation and application to logic programs 1992-09-27 Paper A language...

2020-03-30 Paper The Model Theory of Generic Cuts 2020-02-03 Paper INTERPRETATIONS BETWEENω-LOGIC AND SECOND-ORDER ARITHMETIC 2014-12-05 Paper CIRCULARITY IN...

The substitution interpretation in topological logic 1974-01-01 Paper Completeness of an intensional logic: Definite topological logic 1973-01-01 Paper...

Pure Refined Variable Inclusion Logics 2023-01-13 Paper An introduction to the special issue: logics and their interpretations. II 2022-12-20 Paper Pure Variable...

Lattices Everywhere 2022-02-04 Paper Interpretations of Weak Positive Modal Logics 2022-01-04 Paper Default Rules in the Logic of First-Degree Entailments 2020-08-10...

Paper The standard completeness of interval-valued monoidal t-norm based logic 2012-10-02 Paper Obituary: In memoriam Prof. Dr. Da Ruan 2012-05-18 Paper...

first-order predicate logic and the weak fan theorem 2015-06-26 Paper An intuitionistic completeness theorem for classical predicate logic 2010-10-15 Paper...

for Inclusion Logic and Fixed-Point Logic 2020-02-04 Paper Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic 2019-10-17 Paper...

first-order temporal logic 1997-02-27 Paper Semantical Analysis of Logic of Actions 1995-04-17 Paper Nonmonotonic default modal logics 1994-11-13 Paper A...

probabilistic justification logic 2019-01-08 Paper Weak arithmetical interpretations for the Logic of Proofs 2019-01-08 Paper A logic of blockchain updates 2018-04-06...

from Primitive Logic 1966-01-01 Paper On a Characteristic Feature of the Positive Logics 1966-01-01 Paper A Formalism for Primitive Logic and Mechanical...

Program Development in Computational Logic 2005-12-23 Paper Bounded nondeterminism of logic programs 2005-01-17 Paper On logic programs that always succeed. 2004-03-14...

Paper Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p 1993-08-17 Paper Relevant predication:...