scientific article; zbMATH DE number 1028818
From MaRDI portal
Publication:4342081
Cited in
(only showing first 100 items - show all)- Infinitary action logic: complexity, models and grammars
- scientific article; zbMATH DE number 1749198 (Why is no real title available?)
- First-degree entailment and its relatives
- Parallelizing the closure computation in automated deduction
- R and relevance principle revisited
- Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
- A survey of annotated logics
- Simple axiomatizations for pretabular classical relevance logics
- Hypothesis finding with proof theoretical appropriateness criteria
- Relational semantics for Kleene logic and action logic
- Lattices with Interior and Closure Operators and Abstract Approximation Spaces
- Structural weakening and paradoxes
- Topic-theoretic extensions of analytic implication
- Ernst Mally's Deontik (1926)
- Relevant rational arithmetic
- scientific article; zbMATH DE number 2209823 (Why is no real title available?)
- Hyper-contradictions, generalized truth values and logics of truth and falsehood
- Logical foundations of evidential reasoning with contradictory information
- Default rules in the logic of first-degree entailments
- The Ackermann constant theorem: A computer-assisted investigation
- An algebraic investigation of linear logic
- Current trends in substructural logics
- Bunched sequential information
- Theories of abstract objects without ad hoc restriction
- A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism
- A paraconsistent conditional logic
- Polarity semantics for negation as a modal operator
- Types of I-free hereditary right maximal terms
- The contraction rule and decision problems for logics without structural rules
- Temporal BI: proof system, semantics and translations
- Some useful 16-valued logics: How a computer network should think
- New consecution calculi for \(R^{t}_{\to}\)
- Algebraic methods for orthopairs and induced rough approximation spaces
- The first axiomatization of relevant logic
- Semantics for dual and symmetric combinatory calculi
- Admissibility of cut in LC with fixed point combinator
- A nonstandard approach to the logical omniscience problem
- ``Four-valued semantics for the relevant logic R
- The semantics and proof theory of linear logic
- Implicational Logic, Relevance, and Refutability
- Language in action
- A logical view of composition
- scientific article; zbMATH DE number 48206 (Why is no real title available?)
- Truth and the liar in De Morgan-valued models
- Sextus Empiricus' fourth conditional and containment logic
- Basic intuitionistic principles in fuzzy set theories and its extensions (a terminological debate on Atanassov IFS)
- Belnap-Dunn modal logic with value operators
- The relevance of relevance to relevance logic
- A general possible worlds framework for reasoning about knowledge and belief
- Combining classical logic, paraconsistency and relevance
- Defaults as restrictions on classical Hilbert-style proofs
- Four-valued logic
- On split negation, strong negation, information, falsification, and verification
- Truth, falsehood, information and beyond: the American plan generalized
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
- Duality for modal \(\mu\)-logics
- R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs
- Speeding up inferences using relevance reasoning: a formalism and algorithms
- Substructural nuclear (image-based) logics and operational Kripke-style semantics
- From multiple sequent for additive linear logic to decision procedures for free lattices
- Semantics of weakening and contraction
- Relevant consequence and empirical inquiry
- Fragments of R-mingle
- Investigations into a left-structural right-substructural sequent calculus
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- Symmetric generalized Galois logics
- Entailment, mingle and binary accessibility
- Functional completeness for subsystems of intuitionistic propositional logic
- A deterministic weakening of Belnap-Dunn logic
- Metavaluations
- Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
- \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs
- scientific article; zbMATH DE number 5997425 (Why is no real title available?)
- scientific article; zbMATH DE number 3847358 (Why is no real title available?)
- Simple consequence relations
- R-Mingle is Nice, and so is Arnon Avron
- Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment
- A syntactic approach to Maksimova's principle of variable separation for some substructural logics
- Rules in relevant logic. II: Formula representation
- The value of the four values
- scientific article; zbMATH DE number 1354102 (Why is no real title available?)
- The finite model property for BCK and BCIW
- scientific article; zbMATH DE number 4055572 (Why is no real title available?)
- Reasoning about truth
- A cut-elimination proof in positive relevant logic with necessity
- On canonicity of poset expansions
- The decidability of the intensional fragment of classical linear logic
- Relevance Logic as a Conservative Extension of Classical Logic
- Combinatory logic and the semantics of substructural logics
- IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
- The nature of entailment: an informational approach
- A relevant theory of conditionals
- A nonstandard approach to the logical omniscience problem
- Larisa Maksimova’s Early Contributions to Relevance Logic
- Systems modelling via resources and processes: philosophy, calculus, semantics, and logic
- Algebraic Kripke-style semantics for relevance logics
- Interpretations of weak positive modal logics
- Relevant logic programming
- scientific article; zbMATH DE number 1406015 (Why is no real title available?)
- Belief functions on distributive lattices
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 Q4342081)
