Many-valued logic - PDFSEARCH.IO - Document Search Engine

Many-valued logic
Results: 76

#	Item
1	Many-Valued Logic and Philosophy:58 AM:58 PM Matjaz Potrc Many-valued logic is positioned between the classical two-valued logic and between the trans-valued logic. Classical logical Add to Reading List Source URL: www2.arnes.si Language: English - Date: 2009-01-27 10:03:49
2	Knot and Tonk Nasty connectives on many-valued truth-tables for classical sentential logic Tim Button University of Cambridge Add to Reading List Source URL: people.ds.cam.ac.uk Language: English - Date: 2015-11-28 09:52:02
3	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:52 Logic Mathematical logic Semantics Boolean algebra Propositional calculus Model theory Truth table Many-valued logic Interpretation Logical connective ukasiewicz logic Tautology
4	Questionnaire Summary of the main activities of a research institute of the Slovak Academy of Sciences Period: January 1, December 31, Basic information on the institute: Add to Reading List Source URL: www.mat.savba.sk Language: English - Date: 2016-08-03 08:36:28 Fuzzy logic Algebraic logic Algebraic structures MV-algebra Many-valued logic Von Neumann algebra Fuzzy set Algebra over a field Representation theory Quaternion
5	Curriculum Vitae and List of Publications Hannes Leitgeb August 2015 Department Address Chair of Logic and Philosophy of Language, Alexander von Humboldt Professor, and Add to Reading List Source URL: www.mcmp.philosophie.uni-muenchen.de Language: English Epistemology Philosophers of science American philosophers Hannes Leitgeb Logicians Philosophers of mathematics Journal of Philosophical Logic Lottery paradox Philosophy of mathematics Many-valued logic Formal epistemology Index of logic articles
6	International Journal of Theoretical Physics, VoL 21, Nos. 3/4, 1982 Conservative Logic 1 Add to Reading List Source URL: cqi.inf.usi.ch Language: English - Date: 2014-02-18 12:32:31 Models of computation Logic gates Fredkin gate Reversible computing Modal logic Billiard-ball computer Logic FO Toffoli gate Many-valued logic
7	Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics Matthias Baaz∗ Technische Universität Wien A–1040 Vienna, Austria Add to Reading List Source URL: www.preining.info Language: English - Date: 2005-04-12 18:14:28 Logic Mathematical logic Abstraction Non-classical logic Model theory Predicate logic First-order logic Intermediate logic Many-valued logic FO Kripke semantics Fuzzy logic
8	MUltlog and MUltseq Reanimated and Married M. Baaz1 C.G. Ferm¨ uller1 1 Add to Reading List Source URL: www.preining.info Language: English - Date: 2005-04-12 18:14:31 Proof theory Sequent calculus Sequent First-order logic Propositional calculus Intuitionistic logic Many-valued logic Cut-elimination theorem Method of analytic tableaux Mathematical logic Rule of inference Boolean algebra
9	The logic of quasi true Antonio Di Nola1 , Revaz Grigolia2 and Giacomo Lenzi1 1 2 Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-18 15:13:07 Algebra Mathematical logic Mathematics Algebraic logic Fuzzy logic MV-algebra Many-valued logic Constructible universe Lie algebras Boolean algebra Ordinal number CurryHoward correspondence
10	First-order satisfiability in Gödel logics: an NP-complete fragment Matthias Baaza,1 , Agata Ciabattonia,2 , Norbert Preininga,b,3 a b Add to Reading List Source URL: www.preining.info Language: English - Date: 2014-04-03 01:14:57 Logic Mathematical logic Abstraction Model theory Non-classical logic Logic in computer science Predicate logic First-order logic Boolean satisfiability problem Gdel numbering Many-valued logic Kripke semantics