Handbook of philosophical logic. Vol. 9

zbMATH Open1055.03001MaRDI QIDQ1887352FDOQ1887352

Authors:

Publication date: 25 November 2004

Published in: Handbook of Philosophical Logic (Search for Journal in Brave)

Recommendations

• Goal-directed proof theory
• scientific article; zbMATH DE number 753781
• scientific article
• scientific article; zbMATH DE number 534879
• scientific article

zbMATH Keywords

consequence relationsmetalogicrewriting logicphilosophy of logictheory of meaningnegationsgeneral proof theory

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Artificial intelligence (68T99) Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22) Logic in computer science (03B70) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)

Cited In (30)

• The rewriting logic semantics project: a progress report
• Defeasible normative reasoning
• Twenty years of rewriting logic
• Normatively determined propositions
• Semantic foundations for generalized rewrite theories
• SOS formats and meta-theory: 20 years after
• On the Methodology of Paraconsistent Logic
• Tableaux for free logics with descriptions
• Notes on Leitgeb's Ruitenburg
• Handbook of philosophical logic. Vol. 8
• On negation: Pure local rules
• Executable structural operational semantics in Maude
• Subatomic negation
• Quantum indeterminacy and the eigenstate-eigenvalue link
• Algebraic simulations
• The nature of entailment: an informational approach
• Active logic semantics for a single agent in a static world
• Compositional and holistic quantum computational semantics
• Handbook of philosophical logic. Volume II: Extensions of classical logic
• Variable Sharing in Substructural Logics: an Algebraic Characterization
• Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
• A plea for KR
• Grounding principles for (relevant) implication
• Non-Boolean classical relevant logics. I
• Handbook of philosophical logic. Vol. 3.
• Vague inclosures
• Handbook of philosophical logic. Vol. 10
• Using Maude and its strategies for defining a framework for analyzing Eden semantics
• The normal and self-extensional extension of Dunn-Belnap logic
• On the strength of temporal proofs

This page was built for publication: Handbook of philosophical logic. Vol. 9

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1887352)