Research Article
WITTGENSTEIN’S ELIMINATION OF IDENTITY FOR QUANTIFIERFREE LOGIC
 Part of:
 Published online by Cambridge University Press: 25 June 2020, pp. 121

 Article

 You have access
 Open access
 HTML
 Export citation
COMPOSITIONALITY, COMPUTABILITY, AND COMPLEXITY
 Part of:
 Published online by Cambridge University Press: 29 June 2020, pp. 551591

 Article
 Export citation
THE ELIMINATION OF ATOMIC CUTS AND THE SEMISHORTENING PROPERTY FOR GENTZEN’S SEQUENT CALCULUS WITH EQUALITY
 Part of:
 Published online by Cambridge University Press: 13 August 2019, pp. 813837

 Article
 Export citation
TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS
 Part of:
 Published online by Cambridge University Press: 08 April 2021, pp. 285306

 Article
 Export citation
DEDUCTIVE CARDINALITY RESULTS AND NUISANCELIKE PRINCIPLES
 Part of:
 Published online by Cambridge University Press: 20 April 2021, pp. 592623

 Article
 Export citation
EFFECTIVE INSEPARABILITY, LATTICES, AND PREORDERING RELATIONS
 Part of:
 Published online by Cambridge University Press: 12 July 2019, pp. 838865

 Article
 Export citation
WHAT IS A RULE OF INFERENCE?
 Part of:
 Published online by Cambridge University Press: 21 December 2020, pp. 307346

 Article
 Export citation
NONWELLFOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC
 Part of:
 Published online by Cambridge University Press: 29 June 2020, pp. 2250

 Article
 Export citation
HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC
 Part of:
 Published online by Cambridge University Press: 02 July 2021, pp. 624644

 Article

 You have access
 Open access
 HTML
 Export citation
ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
 Part of:
 Published online by Cambridge University Press: 22 July 2020, pp. 5184

 Article

 You have access
 Open access
 HTML
 Export citation
TRANSMISSION OF VERIFICATION
 Part of:
 Published online by Cambridge University Press: 21 July 2020, pp. 866881

 Article
 Export citation
TWO ARGUMENTS AGAINST THE GENERIC MULTIVERSE
 Part of:
 Published online by Cambridge University Press: 02 December 2020, pp. 347379

 Article
 Export citation
DOING WITHOUT ACTION TYPES
 Part of:
 Published online by Cambridge University Press: 21 October 2020, pp. 380410

 Article

 You have access
 Open access
 HTML
 Export citation
FORMAL QUALITATIVE PROBABILITY
 Part of:
 Published online by Cambridge University Press: 20 February 2020, pp. 882909

 Article
 Export citation
CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTICONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI
 Part of:
 Published online by Cambridge University Press: 29 June 2020, pp. 645686

 Article
 Export citation
EXCEPTIONAL LOGIC
 Part of:
 Published online by Cambridge University Press: 21 July 2020, pp. 85111

 Article
 Export citation
CUTFREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D
 Part of:
 Published online by Cambridge University Press: 21 July 2020, pp. 910929

 Article
 Export citation
UNIVERSISM AND EXTENSIONS OF V
 Part of:
 Published online by Cambridge University Press: 21 July 2020, pp. 112154

 Article
 Export citation
KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS
 Part of:
 Published online by Cambridge University Press: 02 July 2020, pp. 687727

 Article
 Export citation
LINGUA CHARACTERICA AND CALCULUS RATIOCINATOR: THE LEIBNIZIAN BACKGROUND OF THE FREGESCHRÖDER POLEMIC
 Part of:
 Published online by Cambridge University Press: 29 June 2020, pp. 411446

 Article
 Export citation