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
- Publication:3490990
- 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
(63)- FRACTIONAL-VALUED MODAL LOGIC
- Fractional-Valued Modal Logic and Soft Bilateralism
- Semiconic idempotent logic. I: Structure and local deduction theorems.
- A note on \textbf{R}-mingle and the danger of safety
- Proof theory of Riesz spaces and modal Riesz spaces
- A propositional cirquent calculus for computability logic.
- Density elimination
- Analytic calculi for product logics
- Basing sequent systems on exclusive-or
- Completeness and conservative extension results for some Boolean relevant logics
- Hypersequent and display calculi -- a unified perspective
- Eliminability of cut in hypersequent calculi for some modal logics of linear frames
- Intermediate logics admitting a structural hypersequent calculus
- Power and limits of structural display rules
- Proof theory for functional modal logic
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
- scientific article; zbMATH DE number 1463254 (Why is no real title available?)
- The RM paraconsistent refutation system
- Cut elimination theorem for non-commutative hypersequent calculus
- Simple consequence relations
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Proof search and co-NP completeness for many-valued logics
- Interpretations of weak positive modal logics
- Uninorm logic with the \(n\)-potency axiom
- scientific article; zbMATH DE number 4053570 (Why is no real title available?)
- Combining classical logic, paraconsistency and relevance
- A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts
- On the concurrent computational content of intermediate logics
- Relevance and paraconsistency - a new approach. II: The formal systems
- Theorems of Alternatives for Substructural Logics
- Hypersequent calculi for S5: the methods of cut elimination
- Normal forms for fuzzy logics: a proof-theoretic approach
- Relevance and paraconsistency—a new approach
- A family of Gödel hybrid logics
- Formal systems of fuzzy logic and their fragments
- The taming of recurrences in computability logic through cirquent calculus. I
- Intuitionistic logic freed of all metarules
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK
- Uniform proofs of standard completeness for extensions of first-order MTL
- Algebraic proof theory: hypersequents and hypercompletions
- A Calculus for Rational Łukasiewicz Logic and Related Systems
- On a multilattice analogue of a hypersequent S5 calculus
- Giles's game and the proof theory of Łukasiewicz logic
- Hypersequent-based argumentation: an instantiation in the relevance logic RM
- Through an inference rule, darkly
- Fuzzy logics based on \([0,1)\)-continuous uninorms
- A note on standard completeness for some extensions of uninorm logic
- Implicational F-structures and implicational relevance logics
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
- Hypersequents, logical consequence and intermediate logics for concurrency
- A proof of the standard completeness for the involutive uninorm logic
- Multicomponent proof-theoretic method for proving interpolation properties
- \(\mathbf{RM}\) and its nice properties
- On an implication connective of RM
- Hilbert-style axiom systems for the matrix-based logics \(\mathrm{RMQ}^-\) and \(\mathrm{RMQ}^\ast\)
- Natural 3-valued logics—characterization and proof theory
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- Fragments of R-mingle
- CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME
- Hypersequent calculi for intuitionistic logic with classical atoms
- 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
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)
