Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Relative consistency and interpretations (03F25) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Recommendations
Cited in
(26)- Double negation semantics for generalisations of Heyting algebras
- A Kuroda-style \(j\)-translation
- Polarizing double-negation translations
- A classical sequent calculus with dependent types
- Negative Translations and Duality: Toward a Unified Approach
- Negative translations not intuitionistically equivalent to the usual ones
- scientific article; zbMATH DE number 6307933 (Why is no real title available?)
- New algebras and logic from a category of rough sets
- scientific article; zbMATH DE number 7204446 (Why is no real title available?)
- Copies of classical logic in intuitionistic logic
- Double negation as minimal negation
- Explorations in Subexponential Non-associative Non-commutative Linear Logic
- Kolmogorov and Kuroda translations into basic predicate logic
- Open bar -- a Brouwerian intuitionistic logic with a pinch of excluded middle
- Uniform functional interpretations
- Separability and harmony in ecumenical systems
- Translations and Prawitz's ecumenical system
- On the Weihrauch degree of the additive Ramsey theorem
- Hilbert's tenth problem for term algebras with a substitution operator
- Complemented subsets and Boolean-valued, partial functions
- Defining long words succinctly in FO and MSO
- On the first-order parts of problems in the Weihrauch degrees
- Algorithmically random series
- Ideal presentations and numberings of some classes of effective quasi-Polish spaces
- Lower bounds on () and other properties of -register machines
- Reifying dynamical algebra: maximal ideals in countable rings, constructively
This page was built for publication: On various negative translations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4964696)
