Search Results

Can legal reasoning be demystified?

Author: Samuel, Geoffrey

Source: Legal Studies, Volume 29, Number 2, June 2009 , pp. 181-210(30)

Publisher: Blackwell Publishing

Continuous and stepwise thermal demagnetization: are they equivalent?

Author: Dunlop, David J.

Source: Geophysical Journal International, Volume 177, Number 3, June 2009 , pp. 949-957(9)

Publisher: Blackwell Publishing

ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments

Authors: Urban, Josef; Sutcliffe, Geoff

Source: Mathematics in Computer Science, Volume 2, Number 2, December 2008 , pp. 231-251(21)

Publisher: Springer

From use cases to test cases via meta model-based reasoning: Position paper: work in progress

Author: Gruner, Stefan

Source: Innovations in Systems and Software Engineering, Volume 4, Number 3, October 2008 , pp. 223-231(9)

Publisher: Springer

Establishing Connections between Aristotle's Natural Deduction and First-Order Logic

Authors: Andrade, Edgar Jose; Becerra, Edward Samuel

Source: History and Philosophy of Logic, Volume 29, Number 4, November 2008 , pp. 309-325(17)

Publisher: Taylor and Francis Ltd

Of sustainability, elephants and Prefab Sprouts

Author: Uskokovic, Vuk

Source: International Journal of Sustainable Society, Volume 1, Number 1, 20 September 2008 , pp. 85-102(18)

Publisher: Inderscience Publishers

Struvite-(K), KMgPO₄˙6H₂O, the potassium equivalent of struvite - a new mineral

Authors: Graeser, Stefan; Postl, Walter; Bojar, Hans-Peter; Berlepsch, Peter; Armbruster, Thomas; Raber, Thomas; Ettinger, Karl; Walter, Franz

Source: European Journal of Mineralogy, Volume 20, Number 4, August 2008 , pp. 629-633(5)

Publisher: E. Schweizerbart'sche Verlagsbuchhandlung

On Inversion Principles

Authors: Moriconi, Enrico; Tesconi, Laura

Source: History and Philosophy of Logic, Volume 29, Number 2, May 2008 , pp. 103-113(11)

Publisher: Taylor and Francis Ltd

SOME PROBLEMS FOR PROOF-THEORETIC SEMANTICS

Author: Stirton, WilliamR.

Source: The Philosophical Quarterly, Volume 58, Number 231, April 2008 , pp. 278-298(21)

Publisher: Blackwell Publishing

Substructural Logics in Natural Deduction

Author: Zimmermann, Ernst

Source: Logic Journal of the IGPL, Volume 15, Number 3, June 2007 , pp. 211-232(22)

Publisher: Oxford University Press

Generalized Definitional Reflection and the Inversion Principle

Author: Schroeder-Heister, Peter

Source: Logica Universalis, Volume 1, Number 2, October 2007 , pp. 355-376(22)

Publisher: Springer

Reasoning with conditionals

Author: Politzer, Guy

Source: Topoi, Volume 26, Number 1, March 2007 , pp. 79-95(17)

Publisher: Springer

Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts

Authors: Ciaffaglione, Alberto; Liquori, Luigi; Miculan, Marino

Source: Journal of Automated Reasoning, Volume 39, Number 1, July 2007 , pp. 1-47(47)

Publisher: Springer

Natural Deduction and Curry's Paradox

Author: Rogerson, Susan

Source: Journal of Philosophical Logic, Volume 36, Number 2, April 2007 , pp. 155-179(25)

Publisher: Springer

Octahedral cation ordering in Mg, Fe²⁺-olivine: an optical absorption spectroscopic study

Authors: Taran, Michail; Koch-Müller, Monika

Source: Physics and Chemistry of Minerals, Volume 33, Numbers 8-9, November 2006 , pp. 511-518(8)

Publisher: Springer

Mathematical Induction in Otter-Lambda

Author: Beeson, Michael

Source: Journal of Automated Reasoning, Volume 36, Number 4, April 2006 , pp. 311-344(34)

Publisher: Springer

On the infinite-valued Łukasiewicz logic that preserves degrees of truth

Authors: Font, Josep; Gil, Àngel; Torrens, Antoni; Verdú, Ventura

Source: Archive for Mathematical Logic, Volume 45, Number 7, October 2006 , pp. 839-868(30)

Publisher: Springer

Connectives Stranger than Tonk

Author: Wansing, Heinrich

Source: Journal of Philosophical Logic, Volume 35, Number 6, December 2006 , pp. 653-660(8)

Publisher: Springer

Sex differences in pectoral muscles but not in pectoral fins in the three-spined stickleback Gasterosteus aculeatus

Authors: Hoffmann, E.; Borg, B.

Source: Journal of Fish Biology, Volume 68, Number 5, May 2006 , pp. 1451-1459(9)

Publisher: Blackwell Publishing

On the Proof-theoretic Foundation of General Definition Theory

Author: Hallnäs, Lars

Source: Synthese, Volume 148, Number 3, February 2006 , pp. 589-602(14)

Publisher: Springer