The following pages link to Rules and arithmetics (Q5937848):
Displaying 15 items.
- On rules (Q266650) (← links)
- Intermediate logics and the de Jongh property (Q627438) (← links)
- Faith \& falsity (Q705533) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Logics of intuitionistic Kripke-Platek set theory (Q2231694) (← links)
- On the rules of intermediate logics (Q2501166) (← links)
- Realisability for infinitary intuitionistic set theory (Q2700803) (← links)
- (Q2998377) (← links)
- Stack-like and queue-like dynamics in recurrent neural networks (Q3375554) (← links)
- Predicate Logics of Constructive Arithmetical Theories (Q3416116) (← links)
- Tutorial on Admissible Rules in Gudauri (Q3455180) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- The basic intuitionistic logic of proofs (Q5294019) (← links)
- Arithmetic complexity of the predicate logics of certain complete arithmetic theories (Q5957916) (← links)
- THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC (Q6203558) (← links)