Handbook of philosophical logic. Vol. 9

MaRDI QIDQ1887352zbMATH OpenFDO

Authors

Publication date 25 November 2004

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

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)

Recommendations

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

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
• Variable sharing in substructural logics: an algebraic characterization
• 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
• Active logic semantics for a single agent in a static world
• The nature of entailment: an informational approach
• Compositional and holistic quantum computational semantics
• Handbook of philosophical logic. Volume II: Extensions of classical logic
• On the methodology of paraconsistent logic
• 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.
• Handbook of philosophical logic. Vol. 10
• Vague inclosures
• 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)