scientific article; zbMATH DE number 3591947

zbMATH Open0381.03001MaRDI QIDQ4159022FDOQ4159022

Authors: D. J. Shoesmith, T. J. Smiley 

Publication date: 1978

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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)

Cited In (only showing first 100 items - show all)

• A note on admissible rules and the disjunction property in intermediate logics
• Computational properties of partial non-deterministic matrices and their logics
• Paraconsistent logic
• Expressive power and incompleteness of propositional logics
• Reduced products of logical matrices
• Logical consequence and the paradoxes
• Speech acts, categoricity, and the meanings of logical connectives
• Remarks on a survey article on many valued logic by A. Urquhart
• Erotetic implications
• Consequence mining. Constants versus consequence relations
• Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules
• Protoalgebraic logics
• Why conclusions should remain single
• Fuzzy semantics for multiple-conclusion sequential calculi with structural rules
• Rejection and truth-value gaps
• Graded consequence revisited
• Socratic proofs
• Consequence relations and admissible rules
• On consequence in approximate reasoning
• On multiple conclusion deductions in classical logic
• Erotetic arguments: A preliminary analysis
• Four-valued paradefinite logics
• The method of Socratic proofs meets correspondence analysis
• Three-valued paraconsistent propositional logics
• Harmony and autonomy in classical logic
• Characteristic inference rules
• Paracomplete logics dual to the genuine paraconsistent logics: the three-valued case
• Socratic proofs for quantifiers
• An expressivist bilateral meaning-is-use analysis of classical propositional logic
• Erotetic search scenarios and three-valued logic
• A system for proper multiple-conclusion entailment
• What is a paraconsistent logic?
• Anti-intuitionism and paraconsistency
• A fully classical truth theory characterized by substructural means
• Investigations into a left-structural right-substructural sequent calculus
• Aggregation and idempotence
• Rules with parameters in modal logic. I.
• Inferential erotetic logic meets inquisitive semantics
• Graded consequence: further studies
• On negation: Pure local rules
• Expressive power and semantic completeness: Boolean connectives in modal logic
• The logical structure of truthmaking
• Singulary extensional connectives: A closer look
• The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
• False though partly true -- an experiment in logic
• Semantic holism
• Ideal paraconsistent logics
• Disjunctive and conjunctive multiple-conclusion consequence relations
• The expressive truth conditions of two-valued logic
• Default logic generalized and simplified
• Remarks on the Scott-Lindenbaum theorem
• The logic of questions as a theory of erotetic arguments
• Multi-valued semantics: why and how
• The ubiquity of conservative translations
• Graded consequence relations and fuzzy closure operator
• Answering by means of questions in view of inferential erotetic logic
• Sequent-systems for modal logic
• Maximal and premaximal paraconsistency in the framework of three-valued semantics
• Key notions of Tarski's methodology of deductive systems
• Some theorems on structural entailment relations
• On sequence-conclusion natural deduction systems
• On Axioms and Rexpansions
• Free of Detachment: Logic, Rationality, and Gluts
• Graphs of plural cuts
• The revival of rejective negation
• Eliminating disjunctions by disjunction elimination
• Eliminating disjunctions by disjunction elimination
• SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY
• Blurring: an approach to conflation
• Socratic proofs and paraconsistency: A case study
• An inferentially many-valued two-dimensional notion of entailment
• On paracomplete versions of Jaśkowski's discussive logic
• Default rules in the logic of first-degree entailments
• Priest on negation
• European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
• Finite two-dimensional proof systems for non-finitely axiomatizable logics
• Proof search on bilateralist judgments over non-deterministic semantics
• Some instances of graded consequence in the context of interval-valued semantics
• On logics of perfect paradefinite algebras
• On the question of the criteria for the paracompleteness of logics
• Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
• Prawitz, Proofs, and Meaning
• Deduction and reduction theorems for inferential erotetic logic
• Normalization of N-graphs via sub-N-graphs
• Abstract logical constants
• Automated generation of erotetic search scenarios: classification, optimization, and knowledge extraction
• IEL-based formal dialogue system for tutorials
• Generalized entailments
• Theorem on directed graphs, applicable to logic
• ``Transitivity of consequence relations
• An alternative normalization of the implicative fragment of classical logic
• Explicating logical independence
• Turnstile figures of opposition
• A syntactic approach to closure operation
• 1994 Annual Meeting of the Association for Symbolic Logic
• Disjunctive multiple-conclusion consequence relations
• Consequence and confirmation
• An essay in matrix semantics for consequence relations
• Classes of valuations closed under operations Galois-dual to Boolean sentence connectives
• Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4159022)