Results 241 to 250 of about 108,430 (261)
Some of the next articles are maybe not open access.
Categorical proof theory of classical propositional calculus
Theoretical Computer Science, 2006Gianluigi Bellin +2 more
exaly
General Theory of Signs by C. S. Peirce and Theory of Proofs (Overlapping Points)
2013У статті аналізуються можливості використання положень загальної теорії знаків Ч. Пірса для вдосконалення теорії юридичних доказів. Покладена в основу класифікації знаків система категорій (якість, стосунок, репрезентація) відкриває перед теорією доказів нові багатонадійні перспективи, знімає потребу розрізняти «предметне» і «смислове» значення й ...
openaire +1 more source
Why does the proof-theory of hybrid logic work so well?
Journal of Applied Non-Classical Logics, 2007Torben Brauner
exaly
An elementary proof for a compact imbedding result in generalized electromagnetic theory
Mathematische Zeitschrift, 1984exaly
Mathematical Proof Theory in the Light of Ordinal Analysis
SynthÈse, 2002Reinhard Kahle, Kahle Reinhard
exaly
Proof theory for admissible rules
Annals of Pure and Applied Logic, 2009Rosalie Iemhoff, George Metcalfe
exaly
Proof-relevance of families of setoids and identity in type theory
Archive for Mathematical Logic, 2011exaly