scientific article; zbMATH DE number 3591947
From MaRDI portal
Publication:4159022
zbMath0381.03001MaRDI QIDQ4159022
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22)
Related Items (only showing first 100 items - show all)
Paraconsistent logic ⋮ Socratic proofs ⋮ The expressive truth conditions of two-valued logic ⋮ Paracomplete logics dual to the genuine paraconsistent logics: the three-valued case ⋮ Abstract logical constants ⋮ Consequence relations and admissible rules ⋮ An expressivist bilateral meaning-is-use analysis of classical propositional logic ⋮ Erotetic search scenarios and three-valued logic ⋮ Proof search on bilateralist judgments over non-deterministic semantics ⋮ Rejection and truth-value gaps ⋮ ‘Transitivity’ of Consequence Relations ⋮ Remarks on a survey article on many valued logic by A. Urquhart ⋮ Computational properties of partial non-deterministic matrices and their logics ⋮ Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning ⋮ Singulary extensional connectives: A closer look ⋮ Consequence and confirmation ⋮ IEL-based Formal Dialogue System for Tutorials ⋮ Generalized Entailments ⋮ Kneale's natural deductions as a notational variant of Beth's tableaus ⋮ An unexpected Boolean connective ⋮ European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 ⋮ On consequence in approximate reasoning ⋮ Some Instances of Graded Consequence in the Context of Interval-Valued Semantics ⋮ 1994 Annual Meeting of the Association for Symbolic Logic ⋮ A Syntactic Approach to Closure Operation ⋮ An Inferentially Many-Valued Two-Dimensional Notion of Entailment ⋮ Classes of valuations closed under operations Galois-dual to Boolean sentence connectives ⋮ Graphs of plural cuts ⋮ Four-valued paradefinite logics ⋮ Eliminating disjunctions by disjunction elimination ⋮ One step is enough ⋮ Reduced products of logical matrices ⋮ Natural deduction for bi-intuitionistic logic ⋮ The normal and self-extensional extension of Dunn-Belnap logic ⋮ Maximal and premaximal paraconsistency in the framework of three-valued semantics ⋮ Free of Detachment: Logic, Rationality, and Gluts ⋮ Replacement in logic ⋮ Graded consequence: further studies ⋮ Are the open-ended rules for negation categorical? ⋮ Compositionality solves Carnap's problem ⋮ Anything goes ⋮ Semantic holism ⋮ Ideal paraconsistent logics ⋮ False though partly true -- an experiment in logic ⋮ A system for proper multiple-conclusion entailment ⋮ Answering by Means of Questions in View of Inferential Erotetic Logic ⋮ A note on admissible rules and the disjunction property in intermediate logics ⋮ Logical consequence and the paradoxes ⋮ Erotetic arguments: A preliminary analysis ⋮ THE UBIQUITY OF CONSERVATIVE TRANSLATIONS ⋮ The logical structure of truthmaking ⋮ What is a Paraconsistent Logic? ⋮ Default Rules in the Logic of First-Degree Entailments ⋮ Point-Free Spectra of Linear Spreads ⋮ Priest on Negation ⋮ Deduction and reduction theorems for inferential erotetic logic ⋮ Normalization of N-graphs via sub-N-graphs ⋮ Inferential erotetic logic meets inquisitive semantics ⋮ Blurring: an approach to conflation ⋮ Consequence mining. Constants versus consequence relations ⋮ Expressive power and incompleteness of propositional logics ⋮ Speech acts, categoricity, and the meanings of logical connectives ⋮ Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules ⋮ Remarks on the Scott-Lindenbaum theorem ⋮ Normal proofs, cut free derivations and structural rules ⋮ Why conclusions should remain single ⋮ Anti-intuitionism and paraconsistency ⋮ On negation: Pure local rules ⋮ Theorem on directed graphs, applicable to logic ⋮ Graded consequence revisited ⋮ Socratic proofs for quantifiers ⋮ Expressive power and semantic completeness: Boolean connectives in modal logic ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) ⋮ Disjunctive and conjunctive multiple-conclusion consequence relations ⋮ Valuations: bi, tri, and tetra ⋮ Unnamed Item ⋮ Investigations into a left-structural right-substructural sequent calculus ⋮ Explicating logical independence ⋮ Hopeful monsters: a note on multiple conclusions ⋮ Cut elimination for entailment relations ⋮ Key notions of Tarski's methodology of deductive systems ⋮ Default logic generalized and simplified ⋮ Combining fragments of classical logic: when are interaction principles needed? ⋮ Harmony and autonomy in classical logic ⋮ The Hahn-Banach theorem by disjunction elimination ⋮ Multi-valued semantics: why and how ⋮ Single-assumption systems in proof-theoretic semantics ⋮ The logic of questions as a theory of erotetic arguments ⋮ The revival of rejective negation ⋮ Graded consequence relations and fuzzy closure operator ⋮ Some theorems on structural entailment relations ⋮ Characteristic inference rules ⋮ On sequence-conclusion natural deduction systems ⋮ Finite two-dimensional proof systems for non-finitely axiomatizable logics ⋮ Rules with parameters in modal logic. I. ⋮ Popper's theory of deductive inference and the concept of a logical constant ⋮ Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics ⋮ Erotetic implications ⋮ An alternative normalization of the implicative fragment of classical logic ⋮ Socratic proofs and paraconsistency: A case study
This page was built for publication:
