Logica - PDFSEARCH.IO - Document Search Engine

Logica
Results: 499

#	Item
221	Intuitionistic Logic of Proofs with dependent proof terms Giuseppe Primiero FWO – Centre for Logic and Philosophy of Science Ghent University (Belgium) Abstract Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-05-02 07:22:41 Proof theory Logical syntax Philosophical logic Logic in computer science Mathematical constructivism Natural deduction Mathematical proof Theorem Brouwer–Heyting–Kolmogorov interpretation Logic Mathematical logic Mathematics
222	Alleged assassins: realist and constructivist semantics for modal modification Bjørn Jespersen1? and Giuseppe Primiero2?? 1 Institute of Philosophy, Department of Logic, Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-01-15 04:07:16 Model theory Non-classical logic Philosophical logic Modal logic Interpretation First-order logic Adjective Continuous function Function Logic Mathematical logic Mathematics
223	Kuhn and the Question of Pursuit Worthiness ˇ selja and Christian Straßer Dunja Seˇ Centre for Logic and Philosophy of Science, Ghent University (UGent) Blandijnberg 2, 9000 Ghent, Belgium {dunja.seselja, christian.st Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-05-08 03:51:35 Science studies Epistemology Scientific revolution Philosophers of science Thomas Kuhn The Structure of Scientific Revolutions Commensurability Paradigm Scientific method Science Philosophy of science Knowledge
224	A short history of small machines L. De Mol and M. Bullynck A short history of small machines “This operation is so simple that it becomes laborious to apply” (Lehmer, Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-09-24 06:46:02 Abstraction Axiology Logic Philosophy of mathematics Alan Turing Mathematical logic Function Computer Mathematics Science British people
225	Bedoelingen en principes. Een onverwachte relatie∗ Diderik Batens Centrum voor Logica en Wetenschapsfilosofie Universiteit Gent Add to Reading List Source URL: logica.ugent.be Language: Dutch - Date: 2013-02-06 08:06:16
226	Deontic Reasoning on the Basis of Consistency Considerations Christian Straßer∗ Aleks Knoks† Joke Meheus∗ ∗ Ghent University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2014-02-10 02:46:24 Deduction Deontic logic Entailment Sheaf Interpretation Logic Modal logic Philosophical logic
227	Reasoning with computer-assisted experiments in mathematics Liesbeth De Mol∗ 1 Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-29 04:56:35 Wolfram Research Theoretical computer science Formal methods University of Pennsylvania ENIAC Derrick Henry Lehmer Mandelbrot set A New Kind of Science Computer science Mathematics Science Computing
228	Logic in question L. De Mol When the bubble of symbolic logic finally burst. Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-09-24 06:40:44 Computer science Theory of computation Alan Turing Models of computation Church–Turing thesis Turing machine Logic Algorithm Computability Computability theory Theoretical computer science Mathematics
229	Adaptive Logics: a Parametric Approach Frederik Van De Putte & Christian Straßer Centre for Logic and Philosophy of Science Ghent University ,@ugent.be Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2014-06-16 09:05:31 Deduction Connection Entailment Logical consequence Metalogic Valuation Symbol Constructible universe Ordinal number Logic Abstract algebra Mathematics
230	J-Calc: A typed lambda calculus for Intuitionistic Justification Logic Konstantinos Pouliasis Giuseppe Primiero Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-01-15 08:49:03 Logical syntax Propositional calculus Philosophical logic Natural deduction Entailment Interpretation Curry–Howard correspondence Formation rule Witness Logic Proof theory Deduction

UPDATE