Search results

World Must Be Indeterministic 2020-08-31 Paper The physics of implementing logic: Landauer's principle and the multiple-computations theorem 2019-11-26 Paper...

de/entity/Q3691727 1984-01-01 Paper The logic of algebraic rules as a generalization of equational logic 1983-01-01 Paper Adjoint interpretations of sentential calculi 1982-01-01...

description logic \(\mathcal{ALC}\) 2011-04-05 Paper ${\mathcal{ALC}_\mathcal{ALC}}$ : A Context Description Logic 2010-10-01 Paper Description Logics for Relative...

Publication Date of Publication Type Typed interpretations of extensible objects 2017-06-13 Paper Formal methods for web security 2017-02-22 Paper Fine-Grained...

Publication Date of Publication Type On logic programming interpretations of Dislog: Programming long-distance dependencies in logic 2022-08-16 Paper https://portal...

Analysis 2009-11-12 Paper Bounded Linear Logic, Revisited 2009-07-07 Paper Certification Using the Mobius Base Logic 2009-02-12 Paper Nominal Renaming Sets...

Publication Date of Publication Type Interpretations of intuitionist logic in non-normal modal logics 2001-02-26 Paper...

shorthand notes on logic and foundations of mathematics 2016-08-10 Paper David Hilbert’s lectures on the foundations of arithmetic and logic 1917–1933. Edited...

for Product Logic and for the Logic of Cancellative Hoops 2007-11-15 Paper Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their...

2005-04-04 Paper The axiom of choice and combinatory logic 2005-02-09 Paper Polytime, combinatory logic and positive safe induction 2003-09-16 Paper The undecidability...

Social Machines 2013-08-09 Paper Hoare Logic in the Abstract 2009-03-12 Paper Panelist position statement: logic and models in computer science 2009-01-20...

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

Kleene's Three‐Valued Logic 1979-01-01 Paper Three substitution-instance interpretations 1978-01-01 Paper Intuitionist logic, a logic of justification 1978-01-01...

Defeasibility in Description Logics 2016-11-30 Paper Ontology Learning from Interpretations in Lightweight Description Logics 2016-10-19 Paper Preferential...

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...

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...

Algorithms with polynomial interpretation termination proof 2001-09-09 Paper From multiple sequent for additive linear logic to decision procedures for...

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...

inductive learning in a Horn description logic 2020-02-11 Paper Most specific consequences in the description logic \(\mathcal{E} \mathcal{L} \) 2020-01-22...

to constraint logic programming languages 2018-02-09 Paper Kripke semantics for dependent type theory and realizability interpretations 2017-11-17 Paper...