Results 1 to 10 of about 5,967 (224)

Characterising tree-like Frege proofs for QBF

Information and Computation, 2019
Olaf Beyersdorff
exaly  

Frege

Grazer Philosophische Studien, 1984
openaire   +1 more source

New Essays on Frege

Nordic Wittgenstein Studies, 2018
exaly  

Frege on Axioms, Indirect Proof, and Independence Arguments in Geometry: Did Frege Reject Independence Arguments?

Notre Dame Journal of Formal Logic, 2000
Jamie Tappenden
exaly  

Bounds for Frege and extended Frege systems

1995
openaire   +1 more source

Frege

2011
openaire   +2 more sources

Frege’s recognition criterion for thoughts and its problems

SynthÈse, 2017
Mark Textor, Textor Mark
exaly  

Frege

2023
openaire   +1 more source

Frege

2015
openaire   +1 more source

Frege, Hirzel, and Stoic logic

History and Philosophy of Logic
Susanne Bobzien
exaly