Handbook of philosophical logic. Vol. 9
From MaRDI portal
Publication:1887352
zbMath1055.03001MaRDI QIDQ1887352
No author found.
Publication date: 25 November 2004
Published in: Handbook of Philosophical Logic (Search for Journal in Brave)
negationsconsequence relationsmetalogicrewriting logicphilosophy of logictheory of meaninggeneral proof theory
Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Logic in computer science (03B70) Artificial intelligence (68T99) Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)
Related Items
Executable structural operational semantics in Maude, Tableaux for free logics with descriptions, Algebraic simulations, Variable Sharing in Substructural Logics: an Algebraic Characterization, Active logic semantics for a single agent in a static world, Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic, SOS formats and meta-theory: 20 years after, Compositional and holistic quantum computational semantics, The rewriting logic semantics project: a progress report, Twenty years of rewriting logic, The nature of entailment: an informational approach, Normatively determined propositions, The normal and self-extensional extension of Dunn-Belnap logic, Quantum indeterminacy and the eigenstate-eigenvalue link, A plea for KR, Non-Boolean classical relevant logics. I, Grounding principles for (relevant) implication, Vague Inclosures, On negation: Pure local rules, Semantic foundations for generalized rewrite theories, Notes on Leitgeb's Ruitenburg, Subatomic negation, On the Methodology of Paraconsistent Logic, Defeasible normative reasoning, Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics, On the strength of temporal proofs