Works matching Proof theory
Results: 4111
Reciprocal Influences Between Proof Theory and Logic Programming.
- Published in:
- Philosophy & Technology, 2021, v. 34, n. 1, p. 75, doi. 10.1007/s13347-019-00370-x
- By:
- Publication type:
- Article
A sound and complete proof theory for the generalized logic of only knowing.
- Published in:
- Journal of Experimental & Theoretical Artificial Intelligence, 1998, v. 10, n. 4, p. 421, doi. 10.1080/095281398146680
- By:
- Publication type:
- Article
An Argument from Proof Theory against Implicit Conventionalism.
- Published in:
- Philosophical Quarterly, 2024, v. 74, n. 1, p. 273, doi. 10.1093/pq/pqac066
- By:
- Publication type:
- Article
Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization.
- Published in:
- Studia Logica, 2013, v. 101, n. 1, p. 157, doi. 10.1007/s11225-012-9370-6
- By:
- Publication type:
- Article
Symmetry breaking and mismatch in the torsional mechanism of ATP synthesis by F<sub>O</sub>F<sub>1</sub>-ATP synthase: mathematical number theory proof and its chemical and biological implications.
- Published in:
- Theory in Biosciences, 2025, v. 144, n. 1, p. 81, doi. 10.1007/s12064-024-00434-3
- By:
- Publication type:
- Article
De Finettian Logics of Indicative Conditionals Part II: Proof Theory and Algebraic Semantics.
- Published in:
- Journal of Philosophical Logic, 2021, v. 50, n. 2, p. 215, doi. 10.1007/s10992-020-09572-7
- By:
- Publication type:
- Article
On the proof theory of type two functionals based on primitive recursive operations.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 3, p. 237, doi. 10.1002/malq.200510029
- By:
- Publication type:
- Article
Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 7/8, p. 783, doi. 10.1007/s00153-020-00759-y
- By:
- Publication type:
- Article
The Church–Fitch knowability paradox in the light of structural proof theory.
- Published in:
- Synthese, 2013, v. 190, n. 13, p. 2677, doi. 10.1007/s11229-012-0061-7
- By:
- Publication type:
- Article
Unified correspondence and proof theory for strict implication.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 3, p. 921, doi. 10.1093/logcom/exw012
- By:
- Publication type:
- Article
An approach to infinitary temporal proof theory.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 8, p. 965, doi. 10.1007/s00153-004-0237-z
- By:
- Publication type:
- Article
On the correspondence between arithmetic theories and propositional proof systems – a survey.
- Published in:
- Mathematical Logic Quarterly, 2009, v. 55, n. 2, p. 116, doi. 10.1002/malq.200710069
- By:
- Publication type:
- Article
A logical framework combining model and proof theory.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 5, p. 945, doi. 10.1017/S0960129512000424
- By:
- Publication type:
- Article
Mathematical Logic: Proof Theory, Constructive Mathematics.
- Published in:
- Oberwolfach Reports, 2023, v. 20, n. 4, p. 3013, doi. 10.4171/OWR/2023/53
- Publication type:
- Article
Aristotle and Impromptu: Lessons for Impromptu Speech Structure(s) from Aristotle's Theory of Rhetorical Proof.
- Published in:
- Forensic, 2015, v. 100, n. 1, p. 3
- By:
- Publication type:
- Article
Truth Values and Proof Theory.
- Published in:
- Studia Logica, 2009, v. 92, n. 2, p. 241, doi. 10.1007/s11225-009-9197-y
- By:
- Publication type:
- Article
Neutral Free Logic: Motivation, Proof Theory and Models.
- Published in:
- Journal of Philosophical Logic, 2023, v. 52, n. 2, p. 519, doi. 10.1007/s10992-022-09679-z
- By:
- Publication type:
- Article
A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller's 60th birthday.
- Published in:
- 2019
- By:
- Publication type:
- Editorial
Proof theory and computer programming.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 5, p. 389, doi. 10.1002/malq.19900360505
- By:
- Publication type:
- Article
Further Results on Proof Theories For Semilattice Logics.
- Published in:
- Mathematical Logic Quarterly, 1988, v. 34, n. 4, p. 301, doi. 10.1002/malq.19880340404
- By:
- Publication type:
- Article
A Sneak Preview of Proof Theory of Ordinals.
- Published in:
- Annals of the Japan Association for the Philosophy of Science, 2012, v. 20, n. 1, p. 29, doi. 10.4288/jafpos.20.0_29
- By:
- Publication type:
- Article
Mathematical Logic: Proof Theory, Constructive Mathematics (hybrid meeting).
- Published in:
- Oberwolfach Reports, 2021, p. 1693, doi. 10.4171/OWR/2020/34
- Publication type:
- Article
Stoic Sequent Logic and Proof Theory.
- Published in:
- History & Philosophy of Logic, 2019, v. 40, n. 3, p. 234, doi. 10.1080/01445340.2019.1579624
- By:
- Publication type:
- Article
Qal wa-[image omitted]omer and Theory of Massive-Parallel Proofs.
- Published in:
- History & Philosophy of Logic, 2011, v. 32, n. 1, p. 71, doi. 10.1080/01445340.2010.506104
- By:
- Publication type:
- Article
PROOF OF LABOR THEORY OF VALUE BASED ON MARGINALIST PRINCIPLE.
- Published in:
- World Review of Political Economy, 2019, v. 10, n. 1, p. 85, doi. 10.13169/worlrevipoliecon.10.1.0085
- By:
- Publication type:
- Article
4DL: a four-valued dynamic logic and its proof theory.
- Published in:
- Journal of Logic & Computation, 2023, v. 33, n. 6, p. 1326, doi. 10.1093/logcom/exad044
- By:
- Publication type:
- Article
A Foundation for Metareasoning Part I: The Proof Theory.
- Published in:
- Journal of Logic & Computation, 2002, v. 12, n. 1, p. 167, doi. 10.1093/logcom/12.1.167
- By:
- Publication type:
- Article
GOVERNING EQUATIONS AND COMPLETE MATHEMATICAL PROOFS FOR COULOMB'S THEORY OF EARTH PRESSURE.
- Published in:
- International Journal of Organizational Innovation, 2021, v. 13, n. 4, p. 40
- By:
- Publication type:
- Article
Proof Theory and Automated Deduction (Book).
- Published in:
- 1998
- By:
- Publication type:
- Book Review
Sequent calculus proof theory of intuitionistic apartness and order relations.
- Published in:
- Archive for Mathematical Logic, 1999, v. 38, n. 8, p. 521, doi. 10.1007/s001530050137
- By:
- Publication type:
- Article
Editorial Logic Colloquium '95, Haifa, Israel: Invited papers on proof theory.
- Published in:
- Archive for Mathematical Logic, 1998, v. 37, n. 5/6, p. 273, doi. 10.1007/s001530050098
- By:
- Publication type:
- Article
PROOF THEORY OF WEAK COMPACTNESS.
- Published in:
- Journal of Mathematical Logic, 2013, v. 13, n. 1, p. 1350003-1, doi. 10.1142/S0219061313500037
- By:
- Publication type:
- Article
PROOF THEORY OF RIESZ SPACES AND MODAL RIESZ SPACES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:32)2022
- By:
- Publication type:
- Article
Proof Theory and Decision Procedures for Deontic STIT Logics.
- Published in:
- Journal of Artificial Intelligence Research, 2024, v. 81, p. 837, doi. 10.1613/jair.1.15710
- By:
- Publication type:
- Article
A Game Theory Proof of Optimal Colorings Resilience to Strong Deviations.
- Published in:
- Mathematics (2227-7390), 2022, v. 10, n. 15, p. 2781, doi. 10.3390/math10152781
- By:
- Publication type:
- Article
Non-Reflexive Nonsense: Proof Theory of Paracomplete Weak Kleene Logic.
- Published in:
- Studia Logica, 2024, v. 112, n. 6, p. 1243, doi. 10.1007/s11225-023-10086-x
- By:
- Publication type:
- Article
'Turnpike' Theory: A Revised Proof.
- Published in:
- 1976
- By:
- Publication type:
- Correction Notice
Proof Theory of Paraconsistent Quantum Logic.
- Published in:
- Journal of Philosophical Logic, 2018, v. 47, n. 2, p. 301, doi. 10.1007/s10992-017-9428-z
- By:
- Publication type:
- Article
The Implantation Argument: Simulation Theory is Proof that God Exists.
- Published in:
- Metaphysica, 2021, v. 22, n. 2, p. 189, doi. 10.1515/mp-2020-0014
- By:
- Publication type:
- Article
Mathematical Proof and Genre Theory.
- Published in:
- Mathematical Intelligencer, 2020, v. 42, n. 2, p. 48, doi. 10.1007/s00283-019-09926-3
- By:
- Publication type:
- Article
Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra.
- Published in:
- Computer Journal, 2022, v. 65, n. 7, p. 1891, doi. 10.1093/comjnl/bxab030
- By:
- Publication type:
- Article
Theory of Social Proof and Legal Compliance: A Socio-Cognitive Explanation for Regulatory (Non) Compliance.
- Published in:
- German Law Journal, 2021, v. 22, n. 2, p. 238, doi. 10.1017/glj.2021.5
- By:
- Publication type:
- Article
Proof theory for quantified monotone modal logics.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 4, p. 478, doi. 10.1093/jigpal/jzz015
- By:
- Publication type:
- Article
On the convergence of reduction-based and model-based methods in proof theory.
- Published in:
- Logic Journal of the IGPL, 2009, v. 17, n. 5, p. 439, doi. 10.1093/jigpal/jzp022
- By:
- Publication type:
- Article
Proof Theory: Sequent Calculi and Related Formalisms.
- Published in:
- 2016
- By:
- Publication type:
- Book Review
THE APPLICATION OF THE DYNAMIC THEORY OF THE BURDEN OF PROOF IN CIVIL MATTER AFTER THE VALIDITY OF THE CODE OF CIVIL PROCEDURE OF 2015: AN ANALYSIS OF DECISIONS.
- Published in:
- Revista Jurídica (0103-3506), 2020, v. 1, n. 58, p. 137
- By:
- Publication type:
- Article
Proof Theory.
- Published in:
- Journal of Humanistic Mathematics, 2021, v. 11, n. 1, p. 438, doi. 10.5642/jhummath.202101.25
- By:
- Publication type:
- Article
POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION MEHRNOOSH SADRZADEH.
- Published in:
- Review of Symbolic Logic, 2010, v. 3, n. 3, p. 351, doi. 10.1017/S1755020310000134
- By:
- Publication type:
- Article
The λ-Calculus and the Unity of Structural Proof Theory.
- Published in:
- Theory of Computing Systems, 2009, v. 45, n. 4, p. 963, doi. 10.1007/s00224-009-9183-9
- By:
- Publication type:
- Article
Proof Theory for Modal Logic.
- Published in:
- Philosophy Compass, 2011, v. 6, n. 8, p. 523, doi. 10.1111/j.1747-9991.2011.00418.x
- By:
- Publication type:
- Article