Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
141 | Maria Luisa Bonet, Toniann Pitassi, Ran Raz |
No Feasible Interpolation for TC0-Frege Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 38th Annual Symposium on Foundations of Computer Science, FOCS '97, Miami Beach, Florida, USA, October 19-22, 1997, pp. 254-263, 1997, IEEE Computer Society, 0-8186-8197-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
TC/sup 0/-Frege proofs, feasible interpolation, complexity-theoretic assumption, hardness assumption, lower bounds, theorem proving, Chinese Remainder Theorem, proof systems |
77 | Maria Luisa Bonet, Carlos Domingo, Ricard Gavaldà, Alexis Maciel, Toniann Pitassi |
Non-Automatizability of Bounded-Depth Frege Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the 14th Annual IEEE Conference on Computational Complexity, Atlanta, Georgia, USA, May 4-6, 1999, pp. 15-23, 1999, IEEE Computer Society, 0-7695-0075-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Frege proof systems, automatizability of proof systems, interpolation, proof complexity |
73 | Peter M. Sullivan |
Frege's logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Rise of Modern Logic: From Leibniz to Frege ![In: The Rise of Modern Logic: From Leibniz to Frege, pp. 659-750, 2004, Elsevier, 978-0-444-51611-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
68 | Josh Buresh-Oppenheim, Paul Beame, Toniann Pitassi, Ran Raz, Ashish Sabharwal |
Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 43rd Symposium on Foundations of Computer Science (FOCS 2002), 16-19 November 2002, Vancouver, BC, Canada, Proceedings, pp. 583-592, 2002, IEEE Computer Society, 0-7695-1822-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
68 | Maria Luisa Bonet, Nicola Galesi |
Linear Lower Bounds and Simulations in Frege Systems with Substitutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers, pp. 115-128, 1997, Springer, 3-540-64570-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
68 | Andreas Goerdt |
Cuting Plane Versus Frege Proof Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990, Proceedings, pp. 174-194, 1990, Springer, 3-540-54487-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
64 | Michael Soltys, Alasdair Urquhart |
Matrix identities and the pigeonhole principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 43(3), pp. 351-358, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
64 | Michael Soltys |
LA, Permutations, and the Hajós Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings, pp. 1176-1187, 2004, Springer, 3-540-22849-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Richard Tieszen |
Husserl's logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Rise of Modern Logic: From Leibniz to Frege ![In: The Rise of Modern Logic: From Leibniz to Frege, pp. 207-321, 2004, Elsevier, 978-0-444-51611-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Victor Sánchez Valencia |
The algebra of logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Rise of Modern Logic: From Leibniz to Frege ![In: The Rise of Modern Logic: From Leibniz to Frege, pp. 389-544, 2004, Elsevier, 978-0-444-51611-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Volker Peckhaus |
Schröder's logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Rise of Modern Logic: From Leibniz to Frege ![In: The Rise of Modern Logic: From Leibniz to Frege, pp. 557-609, 2004, Elsevier, 978-0-444-51611-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Paul Rusnock, Rolf George |
Bolzano as logician. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Rise of Modern Logic: From Leibniz to Frege ![In: The Rise of Modern Logic: From Leibniz to Frege, pp. 177-205, 2004, Elsevier, 978-0-444-51611-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Wolfgang Lenzen |
Leibniz's logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Rise of Modern Logic: From Leibniz to Frege ![In: The Rise of Modern Logic: From Leibniz to Frege, pp. 1-83, 2004, Elsevier, 978-0-444-51611-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Risto Hilpinen |
Peirce's logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Rise of Modern Logic: From Leibniz to Frege ![In: The Rise of Modern Logic: From Leibniz to Frege, pp. 611-658, 2004, Elsevier, 978-0-444-51611-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Ivor Grattan-Guinness |
The mathematical turns in logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Rise of Modern Logic: From Leibniz to Frege ![In: The Rise of Modern Logic: From Leibniz to Frege, pp. 545-556, 2004, Elsevier, 978-0-444-51611-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Theodore Hailperin |
Algebraical logic 1685-1900. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Rise of Modern Logic: From Leibniz to Frege ![In: The Rise of Modern Logic: From Leibniz to Frege, pp. 323-388, 2004, Elsevier, 978-0-444-51611-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
53 | John W. Burbidge |
Hegel's logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Rise of Modern Logic: From Leibniz to Frege ![In: The Rise of Modern Logic: From Leibniz to Frege, pp. 131-175, 2004, Elsevier, 978-0-444-51611-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Dov M. Gabbay, John Woods 0001 |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Rise of Modern Logic: From Leibniz to Frege ![In: The Rise of Modern Logic: From Leibniz to Frege, 2004, Elsevier, 978-0-444-51611-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Mary Tiles |
Kant: From general to transcendental logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Rise of Modern Logic: From Leibniz to Frege ![In: The Rise of Modern Logic: From Leibniz to Frege, pp. 85-130, 2004, Elsevier, 978-0-444-51611-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
52 | Russell Impagliazzo, Nathan Segerlind |
Constant-depth Frege systems with counting axioms polynomially simulate Nullstellensatz refutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 7(2), pp. 199-218, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Modular counting axioms, Nullstellensatz refutations, propositional proof complexity |
52 | Maria Luisa Bonet, Carlos Domingo, Ricard Gavaldà, Alexis Maciel, Toniann Pitassi |
Non-Automatizability of Bounded-Depth Frege Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Complex. ![In: Comput. Complex. 13(1-2), pp. 47-68, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Subject classification. 03F20, 68Q17, 68T15 |
52 | Eli Ben-Sasson |
Hard examples for the bounded depth Frege proof system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Complex. ![In: Comput. Complex. 11(3-4), pp. 109-136, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000). 03F20 |
52 | Eli Ben-Sasson |
Hard examples for bounded depth frege. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings on 34th Annual ACM Symposium on Theory of Computing, May 19-21, 2002, Montréal, Québec, Canada, pp. 563-572, 2002, ACM, 1-58113-495-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
41 | Paola Bruscoli, Alessio Guglielmi |
On the proof complexity of deep inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 10(2), pp. 14:1-14:34, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Frege systems, Statman tautologies, Analyticity, deep inference, calculus of structures |
41 | Ingo Feinerer, Gernot Salzer |
A comparison of tools for teaching formal software verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 21(3), pp. 293-301, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Formal software verification, Frege Program Prover, Key system, Perfect developer, Prototype verification system |
41 | Olaf Beyersdorff, Sebastian Müller 0003 |
A Tight Karp-Lipton Collapse Result in Bounded Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, pp. 199-214, 2008, Springer, 978-3-540-87530-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Karp-Lipton Theorem, Optimal Propositional Proof Systems, Extended Frege, Bounded Arithmetic, Advice |
41 | Peter Apostoli, Akira Kanda, Lech Polkowski |
First Steps Towards Computably-Infinite Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets II, pp. 151-188, 2004, Springer, 3-540-23990-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
effective domain theory, exact sets, Frege sets, graded indiscernibility, infinite information systems, Myhill-Sheperdson Theorem, non–standard analysis, numeration theory, SFP objects, rough sets, modal logic, domain theory |
41 | Arnold Beckmann |
Resolution Refutations and Propositional Proofs with Height-Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 599-612, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Height of proofs, Length of proofs, Resolution refutation, Frege systems, Order induction principle, Cut introduction, MSC: Primary 03F20, Secondary 03F07, 68R99, Cut elimination, 68Q15, Bounded arithmetic, Propositional calculus |
40 | Marco Panza, Andrea Sereni |
Frege's Constraint and the Nature of Frege's Foundational Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 12(1), pp. 97-143, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
40 | Arnold Beckmann, Sam Buss |
The NP Search Problems of Frege and Extended Frege Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 18(2), pp. 11:1-11:19, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
40 | Yuval Filmus, Toniann Pitassi, Rahul Santhanam |
Exponential Lower Bounds for AC0-Frege Imply Superpolynomial Frege Lower Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Theory ![In: ACM Trans. Comput. Theory 7(2), pp. 5:1-5:16, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
40 | Sam Buss |
Propositional Proofs in Frege and Extended Frege Systems (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications - 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings, pp. 1-6, 2015, Springer, 978-3-319-20296-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
40 | Yuval Filmus, Toniann Pitassi, Rahul Santhanam |
Exponential Lower Bounds for AC0-Frege Imply Superpolynomial Frege Lower Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (1) ![In: Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I, pp. 618-629, 2011, Springer, 978-3-642-22005-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
40 | Emil Jerábek |
Substitution Frege and extended Frege proof systems in non-classical logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 159(1-2), pp. 1-48, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Robert D. Rupert |
Frege's puzzle and Frege cases: Defending a quasi-syntactic solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Syst. Res. ![In: Cogn. Syst. Res. 9(1-2), pp. 76-91, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Claire Hill |
W. Demopoulos (ed.), Frege's Philosophy of Mathematics, and W. W. Tait (ed.), Early Analytic Philosophy, Frege, Russell, Wittgenstein, Essays in Honor of Leonard Linsky. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 133(3), pp. 441-452, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
40 | Francis Jeffry Pelletier |
Did Frege Believe Frege's Principle? ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 10(1), pp. 87-114, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
40 | Jamie Tappenden |
Frege on Axioms, Indirect Proof, and Independence Arguments in Geometry: Did Frege Reject Independence Arguments? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 41(3), pp. 271-315, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
36 | Iulian D. Toader |
On Frege's Logical Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings, pp. 22-25, 2004, Springer, 3-540-21268-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Russell Impagliazzo, Nathan Segerlind |
Bounded-Depth Frege Systems with Counting Axioms Polynomially Simulate Nullstellensatz Refutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings, pp. 208-219, 2002, Springer, 3-540-43864-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
36 | Jan Krajícek |
Lower Bounds for a Proof System with an Expentential Speed-up over Constant-Depth Frege Systems and over Polynomial Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, pp. 85-90, 1997, Springer, 3-540-63437-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
32 | Johan van Benthem |
Logic and Reasoning: do the facts matter? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 88(1), pp. 67-84, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Psychology of reasoning, Self-correction, Interaction, Psychologism, Dynamic logic, Cognitive science |
32 | Phuong Nguyen, Stephen A. Cook |
The Complexity of Proving the Discrete Jordan Curve Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings, pp. 245-256, 2007, IEEE Computer Society, 0-7695-2908-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Phuong Nguyen, Stephen A. Cook |
VTC circ: A Second-Order Theory for TCcirc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings, pp. 378-387, 2004, IEEE Computer Society, 0-7695-2192-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Michael Alekhnovich, Samuel R. Buss, Shlomo Moran, Toniann Pitassi |
Minimum Propositional Proof Length is NP-Hard to Linearly Approximate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings, pp. 176-184, 1998, Springer, 3-540-64827-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Francis Jeffry Pelletier, Renée Elio, Philip P. Hanson |
Is Logic all in our Heads? From Naturalism to Psychologism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 88(1), pp. 3-66, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mill, Frege, Husserl, Quine, artificial intelligence, psychologism, cognitive science, naturalism |
25 | Josep Maria Font |
Beyond Rasiowa's Algebraic Approach to Non-classical Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 82(2), pp. 179-209, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
implicative logics, equivalential logics, Leibniz hierarchy, generalized matrices, Gentzen systems, Frege hierarchy, algebraizable logics, Abstract algebraic logic |
25 | Toniann Pitassi, Alasdair Urquhart |
The Complexity of the Hajós Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 33rd Annual Symposium on Foundations of Computer Science, Pittsburgh, Pennsylvania, USA, 24-27 October 1992, pp. 187-196, 1992, IEEE Computer Society, 0-8186-2900-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Hajos calculus, nondeterministic procedure, polynomially-bounded, Frege proof systems, complexity, graph theory |
20 | Noel Arteche, Gaia Carenini, Matthew Gray |
Quantum Automating $\mathbf{TC}^0$-Frege Is LWE-Hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR24, pp. TR24-029, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
20 | Daniil Kozhemiachenko |
Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.09119, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Noel Arteche, Gaia Carenini, Matthew Gray |
Quantum Automating TC0-Frege Is LWE-Hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.10351, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Svyatoslav Gryaznov, Navid Talebanfard |
Bounded Depth Frege Lower Bounds for Random 3-CNFs via Deterministic Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.02275, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Johan Håstad |
On Small-depth Frege Proofs for PHP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.15683, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Ján Pich, Rahul Santhanam |
Towards P $\neq$ NP from Extended Frege Lower Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR23, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Theodoros Papamakarios |
Depth d Frege systems are not automatable unless P=NP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR23, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Johan Håstad |
On small-depth Frege proofs for PHP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR23, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Nicola Galesi, Dmitry Itsykson, Artur Riazanov, Anastasia Sofronova |
Bounded-depth Frege complexity of Tseitin formulas for all graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 174(1), pp. 103166, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Will Stafford |
The potential in Frege's Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 16(2), pp. 553-577, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Stephen Mackereth, Jeremy Avigad |
Two-Sorted Frege Arithmetic is not conservative. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 16(4), pp. 1199-1232, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Johan Håstad |
On small-depth Frege proofs for PHP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023, Santa Cruz, CA, USA, November 6-9, 2023, pp. 37-49, 2023, IEEE, 979-8-3503-1894-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Brandon Bennett |
Conceptions of Concepts: Frege vs Lakoff/Johnson, are they reconcilable? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISD ![In: Proceedings of The Seventh Image Schema Day co-located with The 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), Rhodes, Greece, September 2nd, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | David Makinson |
Frege's Ontological Diagram Completed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 16(3), pp. 381-387, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Francesca Boccuni, Marco Panza |
Frege's Theory of Real numbers: a Consistent Rendering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 15(3), pp. 624-667, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Ján Pich, Rahul Santhanam |
Learning Algorithms Versus Automatability of Frege Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 49th International Colloquium on Automata, Languages, and Programming, ICALP 2022, July 4-8, 2022, Paris, France., pp. 101:1-101:20, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-235-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Levi Remijnse, Piek Vossen, Antske Fokkens, Sam Titarsolej |
Introducing Frege to Fillmore: A FrameNet Dataset that Captures both Sense and Reference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LREC ![In: Proceedings of the Thirteenth Language Resources and Evaluation Conference, LREC 2022, Marseille, France, 20-25 June 2022, pp. 39-50, 2022, European Language Resources Association. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
20 | Silver Bronzo |
Propositional complexity and the Frege-Geach Point. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 198(4), pp. 3099-3130, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Junyeol Kim |
The horizontal in Frege's Begriffsschrift. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 198(12), pp. 11625-11644, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | John Woods 0001 |
What did Frege take Russell to have proved? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 198(4), pp. 3949-3977, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Günther Eder |
Frege and the origins of model theory in nineteenth century geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 198(6), pp. 5547-5575, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Johan Håstad |
On Small-depth Frege Proofs for Tseitin for Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 68(1), pp. 1:1-1:31, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Ján Pich, Rahul Santhanam |
Learning algorithms versus automatability of Frege systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.10626, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Toniann Pitassi, Prasanna Ramakrishnan, Li-Yang Tan |
Tradeoffs for small-depth Frege proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.07483, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Pavel Pudlák |
The canonical pairs of bounded depth Frege systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 172(2), pp. 102892, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Joan Bertran-San Millán |
Lingua Characterica and Calculus Ratiocinator: the Leibnizian Background of the Frege-Schröder polemic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 14(2), pp. 411-446, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Toniann Pitassi, Prasanna Ramakrishnan, Li-Yang Tan |
Tradeoffs for small-depth Frege proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 62nd IEEE Annual Symposium on Foundations of Computer Science, FOCS 2021, Denver, CO, USA, February 7-10, 2022, pp. 445-456, 2021, IEEE, 978-1-6654-2055-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Eugeniusz Wojciechowski |
The Zahl-Anzahl Distinction in Gottlob Frege: Arithmetic of Natural Numbers with Anzahl as a Primitive Term. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 9(1), pp. 6, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Olaf Beyersdorff, Ilario Bonacina, Leroy Chew, Ján Pich |
Frege Systems for Quantified Boolean Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 67(2), pp. 9:1-9:36, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Trisha Mittal, Pooja Guhan, Uttaran Bhattacharya, Rohan Chandra, Aniket Bera, Dinesh Manocha |
EmotiCon: Context-Aware Multimodal Emotion Recognition using Frege's Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.06692, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Bruno Bentzen |
Frege's theory of types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.16453, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Trisha Mittal, Pooja Guhan, Uttaran Bhattacharya, Rohan Chandra, Aniket Bera, Dinesh Manocha |
EmotiCon: Context-Aware Multimodal Emotion Recognition Using Frege's Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2020, Seattle, WA, USA, June 13-19, 2020, pp. 14222-14231, 2020, Computer Vision Foundation / IEEE, 978-1-7281-7168-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Matthias Schirn |
Frege's philosophy of geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 196(3), pp. 929-971, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Bruno Bentzen |
Frege on Referentiality and Julius Caesar in Grundgesetze Section 10. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 60(4), pp. 617-637, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Nicola Galesi, Dmitry Itsykson, Artur Riazanov, Anastasia Sofronova |
Bounded-depth Frege complexity of Tseitin formulas for all graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR19, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Giovanni Mion |
Hintikka on the "Kant-Frege View": A Critical Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 13(2), pp. 171-178, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Pavel Pudlák |
The canonical pairs of bounded depth Frege systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1912.03013, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Paul Harrenstein, Marie-Louise Lackner, Martin Lackner |
A Mathematical Analysis of an Election System Proposed by Gottlob Frege. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.03643, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Olaf Beyersdorff, Luke Hinde |
Characterising tree-like Frege proofs for QBF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 268, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Nicola Galesi, Dmitry Itsykson, Artur Riazanov, Anastasia Sofronova |
Bounded-Depth Frege Complexity of Tseitin Formulas for All Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 49:1-49:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Davide Colla, Marco Leontino, Enrico Mensa, Daniele Paolo Radicioni |
From Sartre to Frege in Three Steps: A* Search for Enriching Semantic Text Similarity Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLiC-it ![In: Proceedings of the Sixth Italian Conference on Computational Linguistics, Bari, Italy, November 13-15, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Mark Textor |
Frege's recognition criterion for thoughts and its problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 195(6), pp. 2677-2696, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Toni Kannisto |
Kant and Frege on existence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 195(8), pp. 3407-3432, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Michal Garlík, Leszek Aleksander Kolodziejczyk |
Some Subsystems of Constant-Depth Frege with Parity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 19(4), pp. 29:1-29:34, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Daniil Kozhemiachenko |
Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 28(4), pp. 389-413, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Danielle Macbeth |
Logical form, mathematical practice, and Frege's Begriffsschrift. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 169(12), pp. 1419-1436, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Tommaso Moraschini |
A computational glimpse at the Leibniz and Frege hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 169(1), pp. 1-20, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Brice Halimi |
Logical Contextuality in Frege. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 11(1), pp. 1-20, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Matthias Schirn |
The Semantics of Value-Range Names and Frege's Proof of Referentiality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 11(2), pp. 224-278, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Florian Steinberger |
Frege and Carnap on the normativity of logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 194(1), pp. 143-162, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Jessie Munton |
Frege, fiction and force. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 194(9), pp. 3669-3692, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Andrew Tedder |
On Structural Features of the Implication Fragment of Frege's Grundgesetze. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 46(4), pp. 443-456, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|