scientific article; zbMATH DE number 3591947
From MaRDI portal
Publication:4159022
Cited in
(only showing first 100 items - show all)- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
- False though partly true -- an experiment in logic
- Eliminating disjunctions by disjunction elimination
- Reduced products of logical matrices
- The ubiquity of conservative translations
- Investigations into a left-structural right-substructural sequent calculus
- Erotetic arguments: A preliminary analysis
- Semantic holism
- Paracomplete logics dual to the genuine paraconsistent logics: the three-valued case
- Protoalgebraic logics
- The logical structure of truthmaking
- Why conclusions should remain single
- Ideal paraconsistent logics
- Multi-valued semantics: why and how
- On sequence-conclusion natural deduction systems
- SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY
- Inferential erotetic logic meets inquisitive semantics
- Harmony and autonomy in classical logic
- The logic of questions as a theory of erotetic arguments
- Logical consequence and the paradoxes
- Socratic proofs
- The method of Socratic proofs meets correspondence analysis
- Three-valued paraconsistent propositional logics
- Graded consequence: further studies
- Default logic generalized and simplified
- Key notions of Tarski's methodology of deductive systems
- Fuzzy semantics for multiple-conclusion sequential calculi with structural rules
- Consequence relations and admissible rules
- Disjunctive and conjunctive multiple-conclusion consequence relations
- Graded consequence relations and fuzzy closure operator
- Answering by means of questions in view of inferential erotetic logic
- Graphs of plural cuts
- Sequent-systems for modal logic
- A note on admissible rules and the disjunction property in intermediate logics
- Four-valued paradefinite logics
- On Axioms and Rexpansions
- Blurring: an approach to conflation
- Socratic proofs and paraconsistency: A case study
- Computational properties of partial non-deterministic matrices and their logics
- Characteristic inference rules
- On consequence in approximate reasoning
- Speech acts, categoricity, and the meanings of logical connectives
- Aggregation and idempotence
- Socratic proofs for quantifiers
- An expressivist bilateral meaning-is-use analysis of classical propositional logic
- Erotetic search scenarios and three-valued logic
- On multiple conclusion deductions in classical logic
- The expressive truth conditions of two-valued logic
- Remarks on a survey article on many valued logic by A. Urquhart
- Consequence mining. Constants versus consequence relations
- The revival of rejective negation
- Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules
- A system for proper multiple-conclusion entailment
- Erotetic implications
- Expressive power and semantic completeness: Boolean connectives in modal logic
- Some theorems on structural entailment relations
- Graded consequence revisited
- Anti-intuitionism and paraconsistency
- What is a paraconsistent logic?
- Rejection and truth-value gaps
- Paraconsistent logic
- A fully classical truth theory characterized by substructural means
- Expressive power and incompleteness of propositional logics
- Remarks on the Scott-Lindenbaum theorem
- Singulary extensional connectives: A closer look
- Rules with parameters in modal logic. I.
- Eliminating disjunctions by disjunction elimination
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- Free of Detachment: Logic, Rationality, and Gluts
- On negation: Pure local rules
- Carnap's problem, definability and compositionality
- An alternative normalization of the implicative fragment of classical logic
- Explicating logical independence
- An inferentially many-valued two-dimensional notion of entailment
- Proof search on bilateralist judgments over non-deterministic semantics
- Valuations: bi, tri, and tetra
- On paracomplete versions of Jaśkowski's discussive logic
- An essay in matrix semantics for consequence relations
- Reading conclusions conjunctively
- Natural deduction for bi-intuitionistic logic
- (Meta)inferential levels of entailment beyond the Tarskian paradigm
- Circular (Yet Sound) Proofs in Propositional Logic
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- The normal and self-extensional extension of Dunn-Belnap logic
- Cut‐conditions on sets of multiple‐alternative inferences
- Abstract logical constants
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
- Some instances of graded consequence in the context of interval-valued semantics
- Hopeful monsters: a note on multiple conclusions
- A syntactic approach to closure operation
- Turnstile figures of opposition
- Classes of valuations closed under operations Galois-dual to Boolean sentence connectives
- Structural Rules in Natural Deduction with Alternatives
- An unexpected Boolean connective
- On the question of the criteria for the paracompleteness of logics
- Combining fragments of classical logic: when are interaction principles needed?
- Calculizing classical inferential erotetic logic
- Single-assumption systems in proof-theoretic semantics
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
- Replacement in logic
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)
