Rules and arithmetics

DOI10.1305/NDJFL/1039096308MaRDI QIDQ5937848zbMATH OpenOpenAlexFDO

Authors Albert Visser

Publication date 17 July 2001

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1039096308

zbMATH Keywords

admissible rulesconstructive arithmetical theoriesHeyting arithmeticintuitionistic propositional logiclogical structure of arithmetical theories

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50)

Recommendations

• scientific article; zbMATH DE number 4130350
• Proof theory for admissible rules
• Admissible and derivable rules in intuitionistic logic
• On arithmetic complexity of some constructive logics
• On rules

Cites work

• A course on bimodal provability logic
• A minimal predicative set theory
• A sheaf representation and duality for finitely presented Heyting algebras
• ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS
• Admissibility of logical inference rules
• Constructive formalization of the Tennenbaum theorem and its applications
• Constructivism in mathematics. An introduction. Volume I
• Constructivism in mathematics. An introduction. Volume II
• Cuts, consistency statements and interpretations
• Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman
• scientific article; zbMATH DE number 3427308 (Why is no real title available?)
• scientific article; zbMATH DE number 956473 (Why is no real title available?)
• scientific article; zbMATH DE number 3719132 (Why is no real title available?)
• scientific article; zbMATH DE number 3732047 (Why is no real title available?)
• scientific article; zbMATH DE number 1215477 (Why is no real title available?)
• scientific article; zbMATH DE number 1114358 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 922620 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 3337650 (Why is no real title available?)
• Incompleteness in intuitionistic metamathematics
• Kripke models and the intuitionistic theory of species
• Modified realizability and predicate logic
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• On arithmetic complexity of certain constructive logics
• On the completenes principle: A study of provability in heyting's arithmetic and extensions
• On the scheme of induction for bounded arithmetic formulas
• Propositional Calculus and Realizability
• Self-reference and modal logic
• SOME VARIANTS OF THE NOTION OF REALIZABILITY FOR PREDICATE FORMULAS
• The formalization of interpretability
• THE NONARITHMETICITY OF THE CLASS OF REALIZABLE PREDICATE FORMULAS
• The unprovability of small inconsistency. A study of local and global interpretability
• Undecidable theories
• Unification in intuitionistic logic

Cited in

(15)

• Lewis meets Brouwer: constructive strict implication
• Logics of intuitionistic Kripke-Platek set theory
• On the rules of intermediate logics
• On rules
• Realisability for infinitary intuitionistic set theory
• scientific article; zbMATH DE number 5896226 (Why is no real title available?)
• Stack-like and queue-like dynamics in recurrent neural networks
• Predicate Logics of Constructive Arithmetical Theories
• Tutorial on admissible rules in Gudauri
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
• The basic intuitionistic logic of proofs
• Arithmetic complexity of the predicate logics of certain complete arithmetic theories
• THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
• Intermediate logics and the de Jongh property
• Faith \& falsity

This page was built for publication: Rules and arithmetics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5937848)