Publication:4698607
From MaRDI portal
zbMath0824.03004MaRDI QIDQ4698607
Publication date: 9 November 1995
consequence relation; logical system; semantics; deduction rules; logical language; algorithmic proof system; Labeled Deductive System
Related Items
AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX, Universality of Logic, Continuous Domains and their Information System Representation as Logical Systems, 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, A generalization of the Routley-Meyer semantic framework, Adding logic to the toolbox of molecular biology, Fragments of R-mingle, Language and proof theory. Preface to the special issue on ``Proof theory and natural language, On the universality of atomic and molecular logics via protologics, What is the logic of inference?, Logic with numbers, Constructibility and decidability versus domain independence and absoluteness, April the 19th, Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic