scientific article; zbMATH DE number 3591947

zbMATH Open0381.03001MaRDI QIDQ4159022FDOQ4159022

Publication date: 1978

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

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
Answering by Means of Questions in View of Inferential Erotetic Logic
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
Erotetic arguments: A preliminary analysis
Four-valued paradefinite 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
Anti-intuitionism and paraconsistency
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
ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
The ubiquity of conservative translations
Graded consequence relations and fuzzy closure operator
What is a Paraconsistent 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
Title not available (Why is that?)
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
SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY
The Method of Socratic Proofs Meets Correspondence Analysis
Three-Valued Paraconsistent Propositional Logics
Blurring: an approach to conflation
Socratic proofs and paraconsistency: A case study
A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS
On paracomplete versions of Jaśkowski's discussive logic
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
CALCULIZING CLASSICAL INFERENTIAL EROTETIC LOGIC
Being Permitted, Inconsistencies, and Question Raising
Prawitz, Proofs, and Meaning
Deduction and reduction theorems for inferential erotetic logic
Normalization of N-graphs via sub-N-graphs
Abstract logical constants
Theorem on directed graphs, applicable to logic
``Transitivity of consequence relations
An alternative normalization of the implicative fragment of classical logic
Explicating logical independence
Default Rules in the Logic of First-Degree Entailments
Priest on Negation
Turnstile figures of opposition
1994 Annual Meeting of the Association for Symbolic Logic
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
THE LATTICE OF SUPER-BELNAP LOGICS
Point-Free Spectra of Linear Spreads
Carnap's problem, definability and compositionality
CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI

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)