Maximality in finite-valued Łukasiewicz logics defined by order filters

Marcelo E Coniglio; Francesc Esteva; Joan Gispert; Lluis Godo

doi:10.1093/logcom/exy032

Maximality in finite-valued Łukasiewicz logics defined by order filters

Journal of Logic and Computation ◽

10.1093/logcom/exy032 ◽

2018 ◽

Vol 29 (1) ◽

pp. 125-156

Author(s):

Marcelo E Coniglio ◽

Francesc Esteva ◽

Joan Gispert ◽

Lluis Godo

Keyword(s):

Łukasiewicz Logics

Download Full-text

Łukasiewicz logics for cooperative games

Artificial Intelligence ◽

10.1016/j.artint.2019.03.003 ◽

2019 ◽

Vol 275 ◽

pp. 252-278 ◽

Cited By ~ 1

Author(s):

Enrico Marchioni ◽

Michael Wooldridge

Keyword(s):

Cooperative Games ◽

Łukasiewicz Logics

Download Full-text

Partial algebras for Łukasiewicz logics and its extensions

Archive for Mathematical Logic ◽

10.1007/s00153-005-0296-9 ◽

2005 ◽

Vol 44 (7) ◽

pp. 913-933 ◽

Cited By ~ 2

Author(s):

Thomas Vetterlein

Keyword(s):

Partial Algebras ◽

Łukasiewicz Logics

Download Full-text

Extending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics

Studia Logica ◽

10.1007/s11225-012-9396-9 ◽

2012 ◽

Vol 101 (3) ◽

pp. 505-545 ◽

Cited By ~ 19

Author(s):

Georges Hansoul ◽

Bruno Teheux

Keyword(s):

Algebraic Approach ◽

Relational Semantics ◽

Łukasiewicz Logics

Download Full-text

Fuzzy Topology and Łukasiewicz Logics from the Viewpoint of Duality Theory

Studia Logica ◽

10.1007/s11225-010-9234-x ◽

2010 ◽

Vol 94 (2) ◽

pp. 245-269 ◽

Cited By ~ 3

Author(s):

Yoshihiro Maruyama

Keyword(s):

Duality Theory ◽

Fuzzy Topology ◽

Łukasiewicz Logics

Download Full-text

REVERSE ENGINEERING AND SYMBOLIC KNOWLEDGE EXTRACTION ON ŁUKASIEWICZ LOGICS USING NEURAL NETWORKS

Proceedings of the International Joint Conference on Computational Intelligence ◽

10.5220/0002283900050016 ◽

2009 ◽

Keyword(s):

Neural Networks ◽

Reverse Engineering ◽

Knowledge Extraction ◽

Łukasiewicz Logics

Download Full-text

Labelled Calculi for Łukasiewicz Logics

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69937-8_17 ◽

2008 ◽

pp. 194-207

Author(s):

D. Galmiche ◽

Y. Salhi

Keyword(s):

Łukasiewicz Logics

Download Full-text

Minimal resolution proof systems for finitely-valued Lukasiewicz logics

[1993] Proceedings of the Twenty-Third International Symposium on Multiple-Valued Logic ◽

10.1109/ismvl.1993.289581 ◽

2002 ◽

Cited By ~ 2

Author(s):

E.R. Harley ◽

Z. Stachniak

Keyword(s):

Minimal Resolution ◽

Proof Systems ◽

Łukasiewicz Logics ◽

Resolution Proof

Download Full-text

Sequent and hypersequent calculi for abelian and łukasiewicz logics

ACM Transactions on Computational Logic ◽

10.1145/1071596.1071600 ◽

2005 ◽

Vol 6 (3) ◽

pp. 578-613 ◽

Cited By ~ 32

Author(s):

George Metcalfe ◽

Nicola Olivetti ◽

Dov Gabbay

Keyword(s):

Hypersequent Calculi ◽

Łukasiewicz Logics

Download Full-text

Brun Normal Forms for Co-atomic Łukasiewicz Logics

Lecture Notes in Computer Science - Symbolic and Quantitative Approaches to Reasoning with Uncertainty ◽

10.1007/11518655_55 ◽

2005 ◽

pp. 650-661

Author(s):

Stefano Aguzzoli ◽

Ottavio M. D’Antona ◽

Vincenzo Marra

Keyword(s):

Normal Forms ◽

Łukasiewicz Logics

Download Full-text

Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions

Journal of Logic and Computation ◽

10.1093/logcom/10.2.213 ◽

2000 ◽

Vol 10 (2) ◽

pp. 213-222 ◽

Cited By ~ 3

Author(s):

S Aguzzoli

Keyword(s):

Sequent Calculi ◽

Łukasiewicz Logics

Download Full-text