scientific article; zbMATH DE number 753774

zbMath0824.03004MaRDI QIDQ4698607

Dov M. Gabbay

Publication date: 9 November 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

consequence relationlogical systemsemanticsdeduction ruleslogical languagealgorithmic proof systemLabeled Deductive System

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Abstract deductive systems (03B22)

Related Items

April the 19th ⋮ On the universality of atomic and molecular logics via protologics ⋮ Language and proof theory. Preface to the special issue on ``Proof theory and natural language ⋮ What is the logic of inference? ⋮ AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX ⋮ Adding logic to the toolbox of molecular biology ⋮ Universality of Logic ⋮ Logic with numbers ⋮ A generalization of the Routley-Meyer semantic framework ⋮ Continuous Domains and their Information System Representation as Logical Systems ⋮ Constructibility and decidability versus domain independence and absoluteness ⋮ Fragments of R-mingle ⋮ Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis ⋮ Towards a Bayesian Theory of Second-Order Uncertainty: Lessons from Non-Standard Logics ⋮ Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic