scientific article; zbMATH DE number 3591947
From MaRDI portal
Publication:4159022
Cited in
(only showing first 100 items - show all)- Categoricity problem for LP and K3
- Finite Hilbert systems for weak Kleene logics
- The ubiquity of conservative translations
- Graded consequence relations and fuzzy closure operator
- Cut‐conditions on sets of multiple‐alternative inferences
- Replacement in logic
- Answering by means of questions in view of inferential erotetic logic
- One step is enough
- Popper's theory of deductive inference and the concept of a logical constant
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- Reading conclusions conjunctively
- Sequent-systems for modal logic
- The Hahn-Banach theorem by disjunction elimination
- О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE
- What is a logical theory? On theories containing assertions and denials
- Key notions of Tarski's methodology of deductive systems
- Axiomatizing non-deterministic many-valued generalized consequence relations
- Some theorems on structural entailment relations
- Monadicity of non-deterministic logical matrices is undecidable
- On sequence-conclusion natural deduction systems
- Circular (Yet Sound) Proofs in Propositional Logic
- Are the open-ended rules for negation categorical?
- Single-assumption systems in proof-theoretic semantics
- Cut elimination for entailment relations
- On Axioms and Rexpansions
- Graphs of plural cuts
- Free of Detachment: Logic, Rationality, and Gluts
- Semi-implication: a chapter in universal logic
- The revival of rejective negation
- Eliminating disjunctions by disjunction elimination
- Combining fragments of classical logic: when are interaction principles needed?
- Compositionality solves Carnap's problem
- Anything goes
- Eliminating disjunctions by disjunction elimination
- Natural deduction for bi-intuitionistic logic
- The normal and self-extensional extension of Dunn-Belnap logic
- Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi
- Blurring: an approach to conflation
- Abstract algebraic logic. An introductory chapter
- SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY
- Normal proofs, cut free derivations and structural rules
- Socratic proofs and paraconsistency: A case study
- An unexpected Boolean connective
- A note on admissible rules and the disjunction property in intermediate logics
- An inferentially many-valued two-dimensional notion of entailment
- Computational properties of partial non-deterministic matrices and their logics
- Default rules in the logic of first-degree entailments
- Priest on negation
- On paracomplete versions of Jaśkowski's discussive logic
- Paraconsistent logic
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
- Expressive power and incompleteness of propositional logics
- Finite two-dimensional proof systems for non-finitely axiomatizable logics
- Reduced products of logical matrices
- Logical consequence and the paradoxes
- Proof search on bilateralist judgments over non-deterministic semantics
- Some instances of graded consequence in the context of interval-valued semantics
- Remarks on a survey article on many valued logic by A. Urquhart
- Erotetic implications
- Speech acts, categoricity, and the meanings of logical connectives
- Consequence mining. Constants versus consequence relations
- Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
- On logics of perfect paradefinite algebras
- Why conclusions should remain single
- On the question of the criteria for the paracompleteness of logics
- Rejection and truth-value gaps
- Protoalgebraic logics
- Fuzzy semantics for multiple-conclusion sequential calculi with structural rules
- Graded consequence revisited
- Consequence relations and admissible rules
- Socratic proofs
- Erotetic arguments: A preliminary analysis
- Deduction and reduction theorems for inferential erotetic logic
- Normalization of N-graphs via sub-N-graphs
- On consequence in approximate reasoning
- On multiple conclusion deductions in classical logic
- Prawitz, Proofs, and Meaning
- Four-valued paradefinite logics
- Abstract logical constants
- IEL-based formal dialogue system for tutorials
- Generalized entailments
- Automated generation of erotetic search scenarios: classification, optimization, and knowledge extraction
- ``Transitivity of consequence relations
- The method of Socratic proofs meets correspondence analysis
- Three-valued paraconsistent propositional logics
- Theorem on directed graphs, applicable to logic
- Explicating logical independence
- An alternative normalization of the implicative fragment of classical logic
- Harmony and autonomy in classical logic
- Characteristic inference rules
- Paracomplete logics dual to the genuine paraconsistent logics: the three-valued case
- An expressivist bilateral meaning-is-use analysis of classical propositional logic
- Erotetic search scenarios and three-valued logic
- Consequence and confirmation
- Socratic proofs for quantifiers
- Anti-intuitionism and paraconsistency
- A syntactic approach to closure operation
- Investigations into a left-structural right-substructural sequent calculus
- A system for proper multiple-conclusion entailment
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)
