Results 271 to 280 of about 1,012,276 (331)
Some of the next articles are maybe not open access.
2007
Abstract Likewise the natural deduction ‘proof’ of (φ (ψ φ)) is strictly not a proof of a statement; it is a pattern of infinitely many proofs of different statements. Such patterns are called formal proofs. So we are studying patterns that infinitely many different statements could have.
Ian Chiswell, Wilfrid Hodges
openaire +2 more sources
Abstract Likewise the natural deduction ‘proof’ of (φ (ψ φ)) is strictly not a proof of a statement; it is a pattern of infinitely many proofs of different statements. Such patterns are called formal proofs. So we are studying patterns that infinitely many different statements could have.
Ian Chiswell, Wilfrid Hodges
openaire +2 more sources
Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics
Studia Logica: An International Journal for Symbolic Logic, 2018T. Piecha, P. Schroeder-Heister
semanticscholar +1 more source
The DAO attack paradoxes in propositional logic
International Conference on Systems and Informatics, 2017Xiangfu Zhao +4 more
semanticscholar +1 more source
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic
International Conference on Theorem Proving with Analytic Tableaux and Related Methods, 2015Mauro Ferrari, Camillo Fiorentini
semanticscholar +1 more source
A Poor Man's Epistemic Logic Based on Propositional Assignment and Higher-Order Observation
Logic, Rationality, and Interaction, 2015A. Herzig, E. Lorini, Faustine Maffre
semanticscholar +1 more source