scientific article; zbMATH DE number 3591947
From MaRDI portal
Publication:4159022
Cited in
(only showing first 100 items - show all)- Investigations into a left-structural right-substructural sequent calculus
- Default logic generalized and simplified
- Multi-valued semantics: why and how
- On sequence-conclusion natural deduction systems
- Remarks on a survey article on many valued logic by A. Urquhart
- Reduced products of logical matrices
- Erotetic arguments: A preliminary analysis
- The logic of questions as a theory of erotetic arguments
- Erotetic implications
- Rejection and truth-value gaps
- Singulary extensional connectives: A closer look
- False though partly true -- an experiment in logic
- Harmony and autonomy in classical logic
- The revival of rejective negation
- Abstract logical constants
- Four-valued paradefinite logics
- Eliminating disjunctions by disjunction elimination
- Natural deduction for bi-intuitionistic logic
- Compositionality solves Carnap's problem
- Anything goes
- Deduction and reduction theorems for inferential erotetic logic
- Normalization of N-graphs via sub-N-graphs
- Blurring: an approach to conflation
- Anti-intuitionism and paraconsistency
- On negation: Pure local rules
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
- Key notions of Tarski's methodology of deductive systems
- Socratic proofs
- The expressive truth conditions of two-valued logic
- Consequence and confirmation
- Classes of valuations closed under operations Galois-dual to Boolean sentence connectives
- Replacement in logic
- Disjunctive and conjunctive multiple-conclusion consequence relations
- Hopeful monsters: a note on multiple conclusions
- The Hahn-Banach theorem by disjunction elimination
- Single-assumption systems in proof-theoretic semantics
- Finite two-dimensional proof systems for non-finitely axiomatizable logics
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
- Paracomplete logics dual to the genuine paraconsistent logics: the three-valued case
- Proof search on bilateralist judgments over non-deterministic semantics
- Computational properties of partial non-deterministic matrices and their logics
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
- Kneale's natural deductions as a notational variant of Beth's tableaus
- An unexpected Boolean connective
- The normal and self-extensional extension of Dunn-Belnap logic
- Speech acts, categoricity, and the meanings of logical connectives
- Remarks on the Scott-Lindenbaum theorem
- Normal proofs, cut free derivations and structural rules
- Expressive power and semantic completeness: Boolean connectives in modal logic
- Valuations: bi, tri, and tetra
- Explicating logical independence
- Cut elimination for entailment relations
- Combining fragments of classical logic: when are interaction principles needed?
- Characteristic inference rules
- Rules with parameters in modal logic. I.
- An alternative normalization of the implicative fragment of classical logic
- Socratic proofs for quantifiers
- Paraconsistent logic
- One step is enough
- Are the open-ended rules for negation categorical?
- Some instances of graded consequence in the context of interval-valued semantics
- Free of Detachment: Logic, Rationality, and Gluts
- A system for proper multiple-conclusion entailment
- Consequence relations and admissible rules
- An expressivist bilateral meaning-is-use analysis of classical propositional logic
- Erotetic search scenarios and three-valued logic
- Graded consequence relations and fuzzy closure operator
- Answering by means of questions in view of inferential erotetic logic
- What is a paraconsistent logic?
- Default rules in the logic of first-degree entailments
- Point-Free Spectra of Linear Spreads
- Priest on negation
- ``Transitivity of consequence relations
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
- Popper's theory of deductive inference and the concept of a logical constant
- Graphs of plural cuts
- Theorem on directed graphs, applicable to logic
- On consequence in approximate reasoning
- IEL-based formal dialogue system for tutorials
- Generalized entailments
- On multiple conclusion deductions in classical logic
- A syntactic approach to closure operation
- An inferentially many-valued two-dimensional notion of entailment
- 1994 Annual Meeting of the Association for Symbolic Logic
- Logical consequence and the paradoxes
- Graded consequence: further studies
- The ubiquity of conservative translations
- The logical structure of truthmaking
- On Axioms and Rexpansions
- Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi
- Calculizing classical inferential erotetic logic
- О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- A fully classical truth theory characterized by substructural means
- Disjunctive multiple-conclusion consequence relations
- Inferential erotetic logic meets inquisitive semantics
- Sequent-systems for modal logic
- Prawitz, Proofs, and Meaning
- SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY
- The method of Socratic proofs meets correspondence analysis
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)
