scientific article; zbMATH DE number 3591947

zbMATH Open0381.03001MaRDI QIDQ4159022FDOQ4159022

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

Publication date 1978

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)