Works matching Proof theory

Results: 4239

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:

Miller, Dale

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:

Chen, Jianhua

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:

Takemura, Ryo

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:

Golan, Rea

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:

Nath, Sunil

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:

Égré, Paul;
Rossi, Lorenzo;
Sprenger, Jan

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:

Steiner, David;
Strahm, Thomas

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:

Takemura, Ryo

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:

Baratella, Stefano;
Masini, Andrea

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:

MINGHUI MA;
ZHIGUANG ZHAO

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:

Maffezioli, Paolo;
Naibo, Alberto;
Negri, Sara

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:

DUKE, THOMAS

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:

RABE, FLORIAN

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:

Beyersdorff, Olaf

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

Ebû Hâmid İsfizârî'nin Metafizik Görüşleri ve Tanrı Kanıtlaması.

Published in:

Firat University Faculty of Theology / Fırat Üniversitesi İlahiyat Fakültesi Dergisi, 2023, v. 28, n. 1, p. 19, doi. 10.58568/firatilahiyat.1263823

By:

YİĞİT, Fevzi

Publication type:

Article

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:

Negri, Sara

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:

Jaeger, Gerhard;
Pohlers, Wolfram;
Wainer, Stan

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:

Costa, Diana

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:

CRISCUOLO, GIOVANNI;
GIUNCHIGLIA, FAUSTO;
SERAFINI, LUCIANO

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:

Hiroshi Onishi

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:

TOSHIYASU ARAI

Publication type:

Article

Proof Theory and Automated Deduction (Book).

Published in:

1998

By:

Vellino, Andre

Publication type:

Book Review

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:

Pavlović, Edi;
Gratzl, Norbert

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

Truth Values and Proof Theory.

Published in:

Studia Logica, 2009, v. 92, n. 2, p. 241, doi. 10.1007/s11225-009-9197-y

By:

Greg Restall

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:

Baelde, David;
Felty, Amy;
Nadathur, Gopalan;
Saurin, Alexis

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:

de Queiroz, Ruy J. G. B.;
Maibaum, Thomas S. E.

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:

Meyer, Robert K.;
Martin, Errol P.;
Giambrone, Steve;
Urquhart, Alasdair

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:

Bobzien, Susanne

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:

Schumann, Andrew

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:

Tse-Shan Hsu;
Yi-Ju Chen;
Zong-Lin Wu;
Tzu-Che Chao;
Ding-Yu Wei;
Jiann-Cherng Yang;
Yi-Min Huang

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:

LUCAS, CHRISTOPHE;
MIO, MATTEO

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:

Arai, Toshiyasu

Publication type:

Article

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:

Kamide, Norihiro

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:

Da Ré, Bruno;
Szmuc, Damian;
Corbalán, María Inés

Publication type:

Article

Glivenko sequent classes in the light of structural proof theory.

Published in:

Archive for Mathematical Logic, 2016, v. 55, n. 3/4, p. 461, doi. 10.1007/s00153-016-0474-y

By:

Negri, Sara

Publication type:

Article

Proof theory for the logics of bringing-it-about: Ability, coalitions and means-end relationship.

Published in:

Journal of Logic & Computation, 2024, v. 34, n. 4, p. 764, doi. 10.1093/logcom/exac088

By:

Dalmonte, Tiziano;
Grellois, Charles;
Olivetti, Nicola

Publication type:

Article

Towards a proof theory for Henkin quantifiers.

Published in:

Journal of Logic & Computation, 2021, v. 31, n. 1, p. 40, doi. 10.1093/logcom/exaa071

By:

Baaz, Matthias;
Lolic, Anela

Publication type:

Article

Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control.

Published in:

Journal of Logic & Computation, 2004, v. 14, n. 2, p. 179, doi. 10.1093/logcom/14.2.179

By:

Finger, Marcelo;
Wasserman, Renata

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:

Negri, Sara;
Orlandelli, Eugenio

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:

DOWEK, GILLES

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:

Roy, Shubhangi

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:

Lyon, Tim S.;
van Berkel, Kees

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:

Madeo, Dario;
Mocenni, Chiara;
Palma, Giulia;
Rinaldi, Simone

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:

Negri, Sara

Publication type:

Article

Human-verifiable proofs in the theory of word-representable graphs.

Published in:

RAIRO - Theoretical Informatics & Applications, 2024, v. 58, p. 1, doi. 10.1051/ita/2024004

By:

Kitaev, Sergey;
Sun, Haoran

Publication type:

Article

LIFTING PROOF THEORY TO THE COUNTABLE ORDINALS: ZERMELO-FRAENKEL SET THEORY.

Published in:

Journal of Symbolic Logic, 2014, v. 79, n. 2, p. 325, doi. 10.1017/jsl.2014.6

By:

TOSHIYASU ARAI

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:

Espírito Santo, José

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:

Grupp, Jeff

Publication type:

Article