Search results for "Frege"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
141	Maria Luisa Bonet, Toniann Pitassi, Ran Raz	No Feasible Interpolation for TC0-Frege Proofs.	FOCS	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.	CCC	1999	DBLP DOI BibTeX RDF	Frege proof systems, automatizability of proof systems, interpolation, proof complexity
73	Peter M. Sullivan	Frege's logic.	The Rise of Modern Logic: From Leibniz to Frege	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.	FOCS	2002	DBLP DOI BibTeX RDF
68	Maria Luisa Bonet, Nicola Galesi	Linear Lower Bounds and Simulations in Frege Systems with Substitutions.	CSL	1997	DBLP DOI BibTeX RDF
68	Andreas Goerdt	Cuting Plane Versus Frege Proof Systems.	CSL	1990	DBLP DOI BibTeX RDF
64	Michael Soltys, Alasdair Urquhart	Matrix identities and the pigeonhole principle.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF
64	Michael Soltys	LA, Permutations, and the Hajós Calculus.	ICALP	2004	DBLP DOI BibTeX RDF
53	Richard Tieszen	Husserl's logic.	The Rise of Modern Logic: From Leibniz to Frege	2004	DBLP DOI BibTeX RDF
53	Victor Sánchez Valencia	The algebra of logic.	The Rise of Modern Logic: From Leibniz to Frege	2004	DBLP DOI BibTeX RDF
53	Volker Peckhaus	Schröder's logic.	The Rise of Modern Logic: From Leibniz to Frege	2004	DBLP DOI BibTeX RDF
53	Paul Rusnock, Rolf George	Bolzano as logician.	The Rise of Modern Logic: From Leibniz to Frege	2004	DBLP DOI BibTeX RDF
53	Wolfgang Lenzen	Leibniz's logic.	The Rise of Modern Logic: From Leibniz to Frege	2004	DBLP DOI BibTeX RDF
53	Risto Hilpinen	Peirce's logic.	The Rise of Modern Logic: From Leibniz to Frege	2004	DBLP DOI BibTeX RDF
53	Ivor Grattan-Guinness	The mathematical turns in logic.	The Rise of Modern Logic: From Leibniz to Frege	2004	DBLP DOI BibTeX RDF
53	Theodore Hailperin	Algebraical logic 1685-1900.	The Rise of Modern Logic: From Leibniz to Frege	2004	DBLP DOI BibTeX RDF
53	John W. Burbidge	Hegel's logic.	The Rise of Modern Logic: From Leibniz to Frege	2004	DBLP DOI BibTeX RDF
53	Dov M. Gabbay, John Woods 0001	Preface.	The Rise of Modern Logic: From Leibniz to Frege	2004	DBLP DOI BibTeX RDF
53	Mary Tiles	Kant: From general to transcendental logic.	The Rise of Modern Logic: From Leibniz to Frege	2004	DBLP DOI BibTeX RDF
52	Russell Impagliazzo, Nathan Segerlind	Constant-depth Frege systems with counting axioms polynomially simulate Nullstellensatz refutations.	ACM Trans. Comput. Log.	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.	Comput. Complex.	2004	DBLP DOI BibTeX RDF	Subject classification. 03F20, 68Q17, 68T15
52	Eli Ben-Sasson	Hard examples for the bounded depth Frege proof system.	Comput. Complex.	2002	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000). 03F20
52	Eli Ben-Sasson	Hard examples for bounded depth frege.	STOC	2002	DBLP DOI BibTeX RDF
41	Paola Bruscoli, Alessio Guglielmi	On the proof complexity of deep inference.	ACM Trans. Comput. Log.	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.	Formal Aspects Comput.	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.	CSL	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.	Trans. Rough Sets	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.	CSL	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.	Rev. Symb. Log.	2019	DBLP DOI BibTeX RDF
40	Arnold Beckmann, Sam Buss	The NP Search Problems of Frege and Extended Frege Proofs.	ACM Trans. Comput. Log.	2017	DBLP DOI BibTeX RDF
40	Yuval Filmus, Toniann Pitassi, Rahul Santhanam	Exponential Lower Bounds for AC0-Frege Imply Superpolynomial Frege Lower Bounds.	ACM Trans. Comput. Theory	2015	DBLP DOI BibTeX RDF
40	Sam Buss	Propositional Proofs in Frege and Extended Frege Systems (Abstract).	CSR	2015	DBLP DOI BibTeX RDF
40	Yuval Filmus, Toniann Pitassi, Rahul Santhanam	Exponential Lower Bounds for AC0-Frege Imply Superpolynomial Frege Lower Bounds.	ICALP (1)	2011	DBLP DOI BibTeX RDF
40	Emil Jerábek	Substitution Frege and extended Frege proof systems in non-classical logics.	Ann. Pure Appl. Log.	2009	DBLP DOI BibTeX RDF
40	Robert D. Rupert	Frege's puzzle and Frege cases: Defending a quasi-syntactic solution.	Cogn. Syst. Res.	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.	Synth.	2002	DBLP DOI BibTeX RDF
40	Francis Jeffry Pelletier	Did Frege Believe Frege's Principle?	J. Log. Lang. Inf.	2001	DBLP DOI BibTeX RDF
40	Jamie Tappenden	Frege on Axioms, Indirect Proof, and Independence Arguments in Geometry: Did Frege Reject Independence Arguments?	Notre Dame J. Formal Log.	2000	DBLP DOI BibTeX RDF
36	Iulian D. Toader	On Frege's Logical Diagrams.	Diagrams	2004	DBLP DOI BibTeX RDF
36	Russell Impagliazzo, Nathan Segerlind	Bounded-Depth Frege Systems with Counting Axioms Polynomially Simulate Nullstellensatz Refutations.	ICALP	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.	MFCS	1997	DBLP DOI BibTeX RDF
32	Johan van Benthem	Logic and Reasoning: do the facts matter?	Stud Logica	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.	LICS	2007	DBLP DOI BibTeX RDF
32	Phuong Nguyen, Stephen A. Cook	VTC circ: A Second-Order Theory for TCcirc.	LICS	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.	MFCS	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.	Stud Logica	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.	Stud Logica	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	FOCS	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.	Electron. Colloquium Comput. Complex.	2024	DBLP BibTeX RDF
20	Daniil Kozhemiachenko	Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss.	CoRR	2024	DBLP DOI BibTeX RDF
20	Noel Arteche, Gaia Carenini, Matthew Gray	Quantum Automating TC0-Frege Is LWE-Hard.	CoRR	2024	DBLP DOI BibTeX RDF
20	Svyatoslav Gryaznov, Navid Talebanfard	Bounded Depth Frege Lower Bounds for Random 3-CNFs via Deterministic Restrictions.	CoRR	2024	DBLP DOI BibTeX RDF
20	Johan Håstad	On Small-depth Frege Proofs for PHP.	CoRR	2024	DBLP DOI BibTeX RDF
20	Ján Pich, Rahul Santhanam	Towards P $\neq$ NP from Extended Frege Lower Bounds.	Electron. Colloquium Comput. Complex.	2023	DBLP BibTeX RDF
20	Theodoros Papamakarios	Depth d Frege systems are not automatable unless P=NP.	Electron. Colloquium Comput. Complex.	2023	DBLP BibTeX RDF
20	Johan Håstad	On small-depth Frege proofs for PHP.	Electron. Colloquium Comput. Complex.	2023	DBLP BibTeX RDF
20	Nicola Galesi, Dmitry Itsykson, Artur Riazanov, Anastasia Sofronova	Bounded-depth Frege complexity of Tseitin formulas for all graphs.	Ann. Pure Appl. Log.	2023	DBLP DOI BibTeX RDF
20	Will Stafford	The potential in Frege's Theorem.	Rev. Symb. Log.	2023	DBLP DOI BibTeX RDF
20	Stephen Mackereth, Jeremy Avigad	Two-Sorted Frege Arithmetic is not conservative.	Rev. Symb. Log.	2023	DBLP DOI BibTeX RDF
20	Johan Håstad	On small-depth Frege proofs for PHP.	FOCS	2023	DBLP DOI BibTeX RDF
20	Brandon Bennett	Conceptions of Concepts: Frege vs Lakoff/Johnson, are they reconcilable?	ISD	2023	DBLP BibTeX RDF
20	David Makinson	Frege's Ontological Diagram Completed.	Logica Universalis	2022	DBLP DOI BibTeX RDF
20	Francesca Boccuni, Marco Panza	Frege's Theory of Real numbers: a Consistent Rendering.	Rev. Symb. Log.	2022	DBLP DOI BibTeX RDF
20	Ján Pich, Rahul Santhanam	Learning Algorithms Versus Automatability of Frege Systems.	ICALP	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.	LREC	2022	DBLP BibTeX RDF
20	Silver Bronzo	Propositional complexity and the Frege-Geach Point.	Synth.	2021	DBLP DOI BibTeX RDF
20	Junyeol Kim	The horizontal in Frege's Begriffsschrift.	Synth.	2021	DBLP DOI BibTeX RDF
20	John Woods 0001	What did Frege take Russell to have proved?	Synth.	2021	DBLP DOI BibTeX RDF
20	Günther Eder	Frege and the origins of model theory in nineteenth century geometry.	Synth.	2021	DBLP DOI BibTeX RDF
20	Johan Håstad	On Small-depth Frege Proofs for Tseitin for Grids.	J. ACM	2021	DBLP DOI BibTeX RDF
20	Ján Pich, Rahul Santhanam	Learning algorithms versus automatability of Frege systems.	CoRR	2021	DBLP BibTeX RDF
20	Toniann Pitassi, Prasanna Ramakrishnan, Li-Yang Tan	Tradeoffs for small-depth Frege proofs.	CoRR	2021	DBLP BibTeX RDF
20	Pavel Pudlák	The canonical pairs of bounded depth Frege systems.	Ann. Pure Appl. Log.	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.	Rev. Symb. Log.	2021	DBLP DOI BibTeX RDF
20	Toniann Pitassi, Prasanna Ramakrishnan, Li-Yang Tan	Tradeoffs for small-depth Frege proofs.	FOCS	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.	Axioms	2020	DBLP DOI BibTeX RDF
20	Olaf Beyersdorff, Ilario Bonacina, Leroy Chew, Ján Pich	Frege Systems for Quantified Boolean Logic.	J. ACM	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.	CoRR	2020	DBLP BibTeX RDF
20	Bruno Bentzen	Frege's theory of types.	CoRR	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.	CVPR	2020	DBLP BibTeX RDF
20	Matthias Schirn	Frege's philosophy of geometry.	Synth.	2019	DBLP DOI BibTeX RDF
20	Bruno Bentzen	Frege on Referentiality and Julius Caesar in Grundgesetze Section 10.	Notre Dame J. Formal Log.	2019	DBLP DOI BibTeX RDF
20	Nicola Galesi, Dmitry Itsykson, Artur Riazanov, Anastasia Sofronova	Bounded-depth Frege complexity of Tseitin formulas for all graphs.	Electron. Colloquium Comput. Complex.	2019	DBLP BibTeX RDF
20	Giovanni Mion	Hintikka on the "Kant-Frege View": A Critical Assessment.	Logica Universalis	2019	DBLP DOI BibTeX RDF
20	Pavel Pudlák	The canonical pairs of bounded depth Frege systems.	CoRR	2019	DBLP BibTeX RDF
20	Paul Harrenstein, Marie-Louise Lackner, Martin Lackner	A Mathematical Analysis of an Election System Proposed by Gottlob Frege.	CoRR	2019	DBLP BibTeX RDF
20	Olaf Beyersdorff, Luke Hinde	Characterising tree-like Frege proofs for QBF.	Inf. Comput.	2019	DBLP DOI BibTeX RDF
20	Nicola Galesi, Dmitry Itsykson, Artur Riazanov, Anastasia Sofronova	Bounded-Depth Frege Complexity of Tseitin Formulas for All Graphs.	MFCS	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.	CLiC-it	2019	DBLP BibTeX RDF
20	Mark Textor	Frege's recognition criterion for thoughts and its problems.	Synth.	2018	DBLP DOI BibTeX RDF
20	Toni Kannisto	Kant and Frege on existence.	Synth.	2018	DBLP DOI BibTeX RDF
20	Michal Garlík, Leszek Aleksander Kolodziejczyk	Some Subsystems of Constant-Depth Frege with Parity.	ACM Trans. Comput. Log.	2018	DBLP DOI BibTeX RDF
20	Daniil Kozhemiachenko	Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss.	J. Appl. Non Class. Logics	2018	DBLP DOI BibTeX RDF
20	Danielle Macbeth	Logical form, mathematical practice, and Frege's Begriffsschrift.	Ann. Pure Appl. Log.	2018	DBLP DOI BibTeX RDF
20	Tommaso Moraschini	A computational glimpse at the Leibniz and Frege hierarchies.	Ann. Pure Appl. Log.	2018	DBLP DOI BibTeX RDF
20	Brice Halimi	Logical Contextuality in Frege.	Rev. Symb. Log.	2018	DBLP DOI BibTeX RDF
20	Matthias Schirn	The Semantics of Value-Range Names and Frege's Proof of Referentiality.	Rev. Symb. Log.	2018	DBLP DOI BibTeX RDF
20	Florian Steinberger	Frege and Carnap on the normativity of logic.	Synth.	2017	DBLP DOI BibTeX RDF
20	Jessie Munton	Frege, fiction and force.	Synth.	2017	DBLP DOI BibTeX RDF
20	Andrew Tedder	On Structural Features of the Implication Fragment of Frege's Grundgesetze.	J. Philos. Log.	2017	DBLP DOI BibTeX RDF