Geschichte • Jan Łukasiewicz: O logice tròjwarto´sciowej (On 3-valued logic). Ruch Filozoficzny, Vol. 5, 1920.

Source URL: formal.iti.kit.edu

• Logic
• Many-valued logic
• Philosophy
• Philosophy of logic
• Three-valued logic
• Jan ukasiewicz
• J. Barkley Rosser
• Mathematical logic

The complexity of admissible rules of Lukasiewicz logic Emil Jeˇr´abek Institute of Mathematics of the Academy of Sciences ˇ a 25, Praha 1, Czech Republic, email: Zitn´

Source URL: users.math.cas.cz

Nonlinear Models of Neural and Genetic Network Dynamics

Source URL: precedings.nature.com

• Łukasiewicz logic
• Genetics
• Gene regulatory network
• Mutation
• Science
• Fuzzy logic
• Biology
• Many-valued logic

Hindawi Publishing Corporation e Scientific World Journal Volume 2015, Article ID, 2 pages http://dx.doi.orgEditorial

Source URL: downloads.hindawi.com

• Hindawi Publishing Corporation
• MV-algebra
• Monoidal t-norm logic
• BL
• Soft set
• Many-valued logic
• Łukasiewicz logic
• Logic
• Mathematical logic
• Fuzzy logic

@TechReport{Stansifer:1884:PAIA, author="Ryan Stansifer", title= "Presburger’s Article on Integer Airthmetic: Remarks and Translation", number="TR84-639", institution="Cornell University, Computer Science Department",

Source URL: cs.fit.edu

• Model theory
• Proof theory
• Metalogic
• Logic in computer science
• Computability theory
• Presburger arithmetic
• Quantifier elimination
• Decidability
• Jan Łukasiewicz
• Mathematical logic
• Logic
• Mathematics

Aristotle and Lukasiewicz on Existential Import September 7, 2014 Abstract Jan Lukasiewicz’s treatise on Aristotle’s Syllogistic, published in the

Source URL: www.st-andrews.ac.uk

• Square of opposition
• Prior Analytics
• De Interpretatione
• Syllogism
• Term logic
• Categorical proposition
• Obversion
• Proposition
• Truth
• Logic
• Traditional logic
• Philosophy

A PROOF OF COMPLETENESS FOR CONTINUOUS FIRST-ORDER LOGIC ITA¨I BEN YAACOV AND ARTHUR PAUL PEDERSEN A BSTRACT. Continuous first-order logic has found interest among model theorists who wish to extend the classical analys

Source URL: centria.di.fct.unl.pt

• Metalogic
• Interpretation
• Łukasiewicz logic
• First-order logic
• Structure
• Elementary class
• Ultraproduct
• Many-valued logic
• Compactness theorem
• Model theory
• Logic
• Mathematical logic

Complexity Sources in Fuzzy Description Logic Marco Cerami1,? and Umberto Straccia2 1 Palack´ y University in Olomouc, Czech Republic

Source URL: ceur-ws.org

• Mathematical logic
• Norm
• T-norm
• Monoidal t-norm logic
• Logarithm
• Function
• Łukasiewicz logic
• Valuation
• Sheaf
• Mathematics
• Fuzzy logic
• Logic

Complexity of fuzzy answer set programming under Lukasiewicz semantics Marjon Blondeela,1 , Steven Schockaertb , Dirk Vermeira , Martine De Cockc a Vrije Universiteit Brussel, Department of Computer Science, Pleinlaan 2

Source URL: www.cwi.ugent.be

• Logic programming
• Logic in computer science
• Non-classical logic
• Structural complexity theory
• Complexity classes
• Stable model semantics
• Answer set programming
• Fuzzy logic
• Negation
• Theoretical computer science
• Applied mathematics
• Mathematics

Complexity of fuzzy answer set programming under Lukasiewicz semantics: First results Marjon Blondeel1 ? , Steven Schockaert2 ?? , Martine De Cock2 , and Dirk Vermeir1 1

Source URL: www.cwi.ugent.be

• Logic programming
• Logic in computer science
• Non-classical logic
• Mathematical optimization
• Stable model semantics
• Answer set programming
• Fuzzy logic
• NP
• Computational complexity theory
• Theoretical computer science
• Applied mathematics
• Complexity classes