A constructive analysis of RM
From MaRDI portal
Publication:3781069
Recommendations
- Analysis of RMAC.
- scientific article; zbMATH DE number 4070894
- Techniques of constructive analysis
- RIDIT ANALYSIS, A REVIEW
- scientific article; zbMATH DE number 4164172
- scientific article; zbMATH DE number 4053570
- An overview of reconstructability analysis
- scientific article; zbMATH DE number 4215793
- On the use of ridit analysis
Cited in
(70)- Implicational F-structures and implicational relevance logics
- scientific article; zbMATH DE number 4053570 (Why is no real title available?)
- Through an inference rule, darkly
- Intermediate logics admitting a structural hypersequent calculus
- A Calculus for Rational Łukasiewicz Logic and Related Systems
- On the concurrent computational content of intermediate logics
- Natural 3-valued logics—characterization and proof theory
- Completeness and conservative extension results for some Boolean relevant logics
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK
- Proof theory for functional modal logic
- Normal forms for fuzzy logics: a proof-theoretic approach
- FRACTIONAL-VALUED MODAL LOGIC
- A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts
- Uninorm logic with the \(n\)-potency axiom
- Algebraic proof theory: hypersequents and hypercompletions
- Formal systems of fuzzy logic and their fragments
- Fuzzy logics based on \([0,1)\)-continuous uninorms
- A note on standard completeness for some extensions of uninorm logic
- Density elimination
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Combining classical logic, paraconsistency and relevance
- Hypersequent calculi for S5: the methods of cut elimination
- Hypersequents, logical consequence and intermediate logics for concurrency
- \(\mathbf{RM}\) and its nice properties
- Hypersequent-based argumentation: an instantiation in the relevance logic RM
- Fragments of R-mingle
- Basing sequent systems on exclusive-or
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
- Entailment, mingle and binary accessibility
- A note on \textbf{R}-mingle and the danger of safety
- Sequents vs hypersequents for Åqvist systems
- Cut elimination theorem for non-commutative hypersequent calculus
- Theorems of Alternatives for Substructural Logics
- scientific article; zbMATH DE number 1463254 (Why is no real title available?)
- On a multilattice analogue of a hypersequent S5 calculus
- Simple consequence relations
- Uniform proofs of standard completeness for extensions of first-order MTL
- Proof theory of Riesz spaces and modal Riesz spaces
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
- R-Mingle is Nice, and so is Arnon Avron
- Hypersequent and display calculi -- a unified perspective
- Relevance and paraconsistency - a new approach. II: The formal systems
- A hypersequent calculus for classical contingencies
- Analytic calculi for product logics
- Multicomponent proof-theoretic method for proving interpolation properties
- Power and limits of structural display rules
- Fractional-Valued Modal Logic and Soft Bilateralism
- Hypersequent calculi for intuitionistic logic with classical atoms
- Interpretations of weak positive modal logics
- Eliminability of cut in hypersequent calculi for some modal logics of linear frames
- Giles's game and the proof theory of Łukasiewicz logic
- GL-based calculi for PCL and its deontic cousin
- The taming of recurrences in computability logic through cirquent calculus. I
- Relevance and paraconsistency—a new approach
- Internal and external calculi: ordering the jungle without being lost in translations
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
- Intuitionistic logic freed of all metarules
- A family of Gödel hybrid logics
- Hilbert-style axiom systems for the matrix-based logics \(\mathrm{RMQ}^-\) and \(\mathrm{RMQ}^\ast\)
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
- Proof search and co-NP completeness for many-valued logics
- The RM paraconsistent refutation system
- A propositional cirquent calculus for computability logic.
- CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME
- A proof of the standard completeness for the involutive uninorm logic
- The higher dimensional propositional calculus
- Semiconic idempotent logic. I: Structure and local deduction theorems.
- On an implication connective of RM
- Fusion, fission, and Ackermann's truth constant in relevant logics: a proof-theoretic investigation
This page was built for publication: A constructive analysis of RM
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3781069)
