Search results for "ukasiewicz"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
73	J. Patricio Díaz Varela	Free Lukasiewicz implication algebras.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 06F99, 08B20, 08A30
73	Brunella Gerla	Automata over MV-Algebra.	ISMVL	2004	DBLP DOI BibTeX RDF
66	Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli	Logic Programs under Three-Valued Lukasiewicz Semantics.	ICLP	2009	DBLP DOI BibTeX RDF	Three Valued Logic Programs, ?ukasiewicz Semantics
66	Jianhua Dai, Xiaochun Liu	Rough 3-Valued Lukasiewicz Agebras and MV-Algebras.	RSKT	2009	DBLP DOI BibTeX RDF	rough 3-valued ?ukasiewicz algebras, Rough sets, MV- algebras
51	Christian G. Fermüller, George Metcalfe	Giles's Game and the Proof Theory of Lukasiewicz Logic.	Stud Logica	2009	DBLP DOI BibTeX RDF	hypersequents, many-valued logics, dialogue games, ?ukasiewicz logic
51	Stefano Aguzzoli, Matteo Bianchi 0001, Vincenzo Marra	A Temporal Semantics for Basic Logic.	Stud Logica	2009	DBLP DOI BibTeX RDF	Basic Logic, Temporal logics, Modal logics, Many-valued logics, ?ukasiewicz logic
51	Roberto Cignoli, Francesc Esteva, Lluís Godo	On Lukasiewicz Logic with Truth Constants.	IFSA (2)	2007	DBLP DOI BibTeX RDF	truth-constants, canonical standard completeness, ?ukasiewicz logic
51	Andrei Popescu 0001	Lukasiewicz-Moisil Relation Algebras.	Stud Logica	2005	DBLP DOI BibTeX RDF	?ukasiewicz-Moisil relation algebra, complex algebra
51	George Metcalfe, Nicola Olivetti, Dov M. Gabbay	Goal-Directed Methods for Lukasiewicz Logic.	CSL	2004	DBLP DOI BibTeX RDF	ukasiewicz Logics, Goal-Directed Methods, Fuzzy Logics
50	George Metcalfe, Nicola Olivetti, Dov M. Gabbay	Analytic Sequent Calculi for Abelian and ukasiewicz Logics.	TABLEAUX	2002	DBLP DOI BibTeX RDF
45	Roberto Cignoli, Luiz Monteiro	Maximal Subalgebras of MVn-algebras. A Proof of a Conjecture of A. Monteiro.	Stud Logica	2006	DBLP DOI BibTeX RDF	Moisil -?ukasiewicz algebras, ?ukasiewicz many-valued logics, Boolean spaces, subalgebras, MV-algebras
45	Joel Berman, Willem J. Blok	Free Lukasiewicz and Hoop Residuation Algebras.	Stud Logica	2004	DBLP DOI BibTeX RDF	free spectrum, hoop, hoop residuation algebra, ukasiewicz algebra, ukasiewicz residuation algebra, Hilbert algebra, MV-algebra, BCK-algebra, free algebra
44	Josep Maria Font, Àngel J. Gil, Antoni Torrens, Ventura Verdú	On the infinite-valued Lukasiewicz logic that preserves degrees of truth.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B50, 03G20, 03B22, 06D35
44	J. Patricio Díaz Varela, Antoni Torrens Torrell	Decomposability of free Lukasiewicz implication algebras.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 06F99, 08B20, 08A30
44	George Georgescu, Andrei Popescu 0001	A common generalization for MV-algebras and Lukasiewicz-Moisil algebras.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 06D35, 03G20, 06F15
44	Xavier Caicedo	Implicit Operations in MV-Algebras and the Connectives of Lukasiewicz Logic.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
44	Stefano Aguzzoli, Ottavio M. D'Antona, Vincenzo Marra	Brun Normal Forms for Co-atomic Lukasiewicz Logics.	ECSQARU	2005	DBLP DOI BibTeX RDF
44	Mauricio Osorio 0001, Verónica Borja Macías, José Arrazola	Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs.	IBERAMIA	2004	DBLP DOI BibTeX RDF
37	Thomas Vetterlein	A Way to Interpret Lukasiewicz Logic and Basic Logic.	Stud Logica	2008	DBLP DOI BibTeX RDF	Basic Logic, a-equivalence relation, Boolean algebra, MV-algebra, BL-algebra, Heyting algebra, ?ukasiewicz Logic
37	Antonio Di Nola, George Georgescu, Luca Spada	Forcing in Lukasiewicz Predicate Logic.	Stud Logica	2008	DBLP DOI BibTeX RDF	First order Many-valued logic, Robinson Forcing, ?ukasiewicz Logic
37	Sergiu Rudeanu, Dan A. Simovici	On the Ranges of Algebraic Functions on Lattices.	Stud Logica	2006	DBLP DOI BibTeX RDF	?ukasiewicz-Moisil algebras, determination principle, distributive lattice, modular lattice
37	George Metcalfe, Nicola Olivetti, Dov M. Gabbay	Sequent and hypersequent calculi for abelian and Łukasiewicz logics.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	? ukasiewicz logic, Abelian logic, Hypersequents, Sequents
37	Petr Hájek 0001	On arithmetic in the Cantor- Lukasiewicz fuzzy set theory.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	x141, ukasiewicz logic, Fuzzy set theory, Contradiction
36	Jirí Ivánek	Selection and correction of weighted rules based on \L ukasiewicz's fuzzy logic with evaluated syntax.	Kybernetika	2017	DBLP DOI BibTeX RDF
36	Xiaoli Gao, Xiaojing Hui, Naidiao Zhu	n值ukasiewicz逻辑系统中公式的向量表示及其研究 (Research on Vector Representation of Formula in n-valued ukasiewicz Propositional Logic System).	计算机科学	2016	DBLP DOI BibTeX RDF
36	Guo-Jun Wang, Wen-Xiu Zhang	Consistency degrees of finite theories in ukasiewicz propositional fuzzy logic.	Fuzzy Sets Syst.	2005	DBLP DOI BibTeX RDF
36	Rostislav Horcík, Petr Cintula	Product L ukasiewicz Logic.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	u logic, Takeuti, Titani logic, product MV-algebra, fuzzy logic, logic, many-valued logic, MV-algebra
36	Didier Arquès, Anne Micheli	A generalization of the language of ukasiewicz coding rooted planar hypermaps.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
36	Graham Priest	On Alternative Geometries, Arithmetics, and Logics; a Tribute to [Lstrok]ukasiewicz.	Stud Logica	2003	DBLP DOI BibTeX RDF
29	Jirí Rachunek, Filip Svrcek	Monadic Bounded Commutative Residuated l-monoids.	Order	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03G25, 06D20, 06D35, 06F05
29	Arnon Avron, Beata Konikowska	Rough Sets and 3-Valued Logics.	Stud Logica	2008	DBLP DOI BibTeX RDF	rough sets, three-valued logics, sequent calculi, non-deterministic matrices
29	Jirí Rachunek, Dana Salounová	Monadic GMV-algebras.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B50, 06F15, 06D35, 06F05
29	Didier Galmiche, Yakoub Salhi	Labelled Calculi for Lukasiewicz Logics.	WoLLIC	2008	DBLP DOI BibTeX RDF
29	Xue-fang Wang, Peishun Liu	A Method for Constructing Lattice Implication Algebras on the Interval [0, 1].	FSKD (1)	2008	DBLP DOI BibTeX RDF
29	Hongjun Zhou, Guojun Wang	Graded Reasoning in n -Valued Lukasiewicz Propositional Logic.	AWIC	2007	DBLP DOI BibTeX RDF
29	Matthias Baaz, George Metcalfe	Proof Theory for First Order Lukasiewicz Logic.	TABLEAUX	2007	DBLP DOI BibTeX RDF
29	Jun Liu 0001, Luis Martínez-López 0001, Yang Xu 0001, Zhirui Lu	Automated Reasoning Algorithm for Linguistic Valued Lukasiewicz Propositional Logic.	ISMVL	2007	DBLP DOI BibTeX RDF
29	Tomás Kroupa	Representation and extension of states on MV-algebras.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B52, 28E99, 03E72
29	Thomas Vetterlein	Partial algebras for Lukasiewicz logics and its extensions.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF
29	Jesús Medina 0001, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego	Decomposing Ordinal Sums in Neural Multi-adjoint Logic Programs.	IBERAMIA	2004	DBLP DOI BibTeX RDF
29	Gianpiero Cattaneo, Davide Ciucci	Heyting Wajsberg Algebras as an Abstract Environment Linking Fuzzy and Rough Sets.	Rough Sets and Current Trends in Computing	2002	DBLP DOI BibTeX RDF	Wajsberg algebra, rough approximation space, rough sets, fuzzy sets, Heyting algebra
22	Grzegorz Malinowski	Inferential Intensionality.	Stud Logica	2004	DBLP DOI BibTeX RDF	consequence, C-equivalence, C-equality, rule of inference, Tarski, ukasiewicz, modal system, modal logic, inference, proof, acceptance, rejection, four-valued logic, four-valued logic
22	Roman Fric	Convergence and Duality.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	concrete category, dual equivalence, cogenerator, sober object, bold algebra, ukasiewicz tribe, D-poset, sequential convergence, sequential continuity, measurable map, probability event, reflection, observable, MV-algebra, measurable space
22	Roman Fric	Measures on MV-algebras.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Semisimple M V -algebra, Initial sequential convergence, I -sequential M V -algebra, Sequential continuity, Absolutely sequentially closed object, Epireflection, Sequentially continuous measure, ?-completion, Extension of measures, Natural equivalence, Bold algebra, ?ukasiewicz tribe, Measurable map, Probability event, D -poset, Coproduct, Quantum structure, Observable, Duality, Measurable space
22	Daniele Mundici	Nonboolean partitions and their logic.	Soft Comput.	1998	DBLP DOI BibTeX RDF	Nonboolean partition, if-then-else, block-recognition, infinite-valued ?ukasiewicz calculus, many-valued logic, MV-algebras
15	Bijan Davvaz, Osman Kazanci, Sultan Yamak	Interval-valued fuzzy n-ary subhypergroups of n-ary hypergroups.	Neural Comput. Appl.	2009	DBLP DOI BibTeX RDF	Hypergroup, n-ary hypergroup, Belong to, Quasicoincident with, n-ary subhypergroup, Fuzzy (?, ? ?q)-fuzzy n-ary subhypergroup, Fuzzy set
15	Josep Maria Font	Taking Degrees of Truth Seriously.	Stud Logica	2009	DBLP DOI BibTeX RDF	Suszko’s Thesis, logical values, truth degrees, logics preserving degrees of truth, semantics, many-valued logic, abstract algebraic logic, truth values
15	Roman Fric	Extension of domains of states.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Lukasiewicz tribe, Field of sets, D-poset od fuzzy sets, Sequentially continuous D-homomorphism, Probability measure, Extension of states, Epireflection, Observable, Duality, MV-algebra, State, Fuzzy random variable, Measurable space
15	Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock	Finite Satisfiability in Infinite-Valued Lukasiewicz Logic.	SUM	2009	DBLP DOI BibTeX RDF
15	Agata Ciabattoni, Lutz Straßburger, Kazushige Terui	Expanding the Realm of Systematic Proof Theory.	CSL	2009	DBLP DOI BibTeX RDF
15	Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli	Logics and Networks for Human Reasoning.	ICANN (2)	2009	DBLP DOI BibTeX RDF	Human Reasoning, Logic Programs, Connectionist Models
15	Christian G. Fermüller	Dialogue Games for Many-Valued Logics - an Overview.	Stud Logica	2008	DBLP DOI BibTeX RDF	hypersequents, fuzzy logic, many-valued logic, dialogue games
15	Thomas Vetterlein	Fuzzy logic as a logic of the expressive strength of information.	Soft Comput.	2008	DBLP DOI BibTeX RDF
15	Petr Hájek 0001, Radko Mesiar	On copulas, quasicopulas and fuzzy logic.	Soft Comput.	2008	DBLP DOI BibTeX RDF
15	Lech Polkowski	Mereological Theories of Concepts in Granular Computing.	Trans. Comput. Sci.	2008	DBLP DOI BibTeX RDF	mereological theory of concepts, granular computing, approximate reasoning
15	Hector Freytes	Pavelka-style completeness in expansions of Lukasiewicz logic.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematical Subject Classification (2000) 03B50, 03B52, 06D35
15	János C. Fodor, Bernard De Baets	Fuzzy Preference Modelling: Fundamentals and Recent Advances.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
15	Fernando Bobillo, Umberto Straccia	Towards a Crisp Representation of Fuzzy Description Logics under Lukasiewicz Semantics.	ISMIS	2008	DBLP DOI BibTeX RDF
15	Lawrence Peter Belluce, Antonio Di Nola, Brunella Gerla	Perfect MV -algebras and their Logic.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06D35, 03G20
15	Bruno Teheux	A Duality for the Algebras of a Lukasiewicz n + 1-valued Modal System.	Stud Logica	2007	DBLP DOI BibTeX RDF	Topological duality, many-valued modal logics, relational semantics, operator, MV-algebras
15	Petr Cintula, George Metcalfe	Normal forms for fuzzy logics: a proof-theoretic approach.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B22, 03B47, 06F35, 03G99, 03B52, 03B50
15	Shunsuke Yatabe	Distinguishing non-standard natural numbers in a set theory within Lukasiewicz logic.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03E72
15	Jiancheng Zhang, Shuili Chen	Generalized Root of Theories in Propositional Fuzzy Logical Systems.	ICFIE	2007	DBLP DOI BibTeX RDF	Propositional fuzzy logic system, Generalized root, Deduction theorem, Theory
15	Roman Slowinski, Salvatore Greco, Benedetto Matarazzo	Dominance-Based Rough Set Approach to Reasoning About Ordinal Data.	RSEISP	2007	DBLP DOI BibTeX RDF	Ordinal data, Rough sets, Decision support, Case-based reasoning, Granular computing, Fuzzy rough sets, Dominance-based Rough Set Approach
15	Thomas Vetterlein	t-norms induced by metrics on Boolean algebras.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Continuous triangular norms, Boolean algebras endowed with a metric
15	Dumitru Daniel Dragulici	Conservative extension of polyadic MV-algebras to polyadic pavelka algebras.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Pavelka algebra, Polyadic MV-algebra, Polyadic Pavelka algebra, MV-algebra
15	Daniele Mundici	A Characterization of the free n-generated MV-algebra.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Free MV-algebra, Chang completeness theorem, McNaughton theorem, standard triangulation of the n-cube, Partition of unity, ?-functor, Singular homology group, Pyramidal function, MV-algebra, piecewise linear function
15	Ioana Leustean	Non-commutative Lukasiewicz propositional logic.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B50, 06D35
15	Susanne Saminger, Peter Sarkoci, Bernard De Baets	The Dominance Relation on the Class of Continuous T-Norms from an Ordinal Sum Point of View.	Theory and Applications of Relational Structures as Knowledge Instruments	2006	DBLP DOI BibTeX RDF
15	Christian G. Fermüller, Robert Kosik	Combining Supervaluation and Degree Based Reasoning Under Vagueness.	LPAR	2006	DBLP DOI BibTeX RDF
15	Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini	Reversibility and Irreversibility in Quantum Computation and in Quantum Computational Logics.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
15	Franco Montagna	Notes on Strong Completeness in Lukasiewicz, Product and BL Logics and in Their First-Order Extensions.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
15	Beloslav Riecan	Probability Theory on IF Events.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
15	Sándor Jenei, Franco Montagna	Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
15	Roberto Cignoli	The Algebras of Lukasiewicz Many-Valued Logic: A Historical Overview.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
15	Iwan Tabakow	An Introduction to Fuzzy Propositional Calculus Using Proofs from Assumptions.	KES (2)	2006	DBLP DOI BibTeX RDF
15	Lech Polkowski	Rough Mereological Reasoning in Rough Set Theory: Recent Results and Problems.	RSKT	2006	DBLP DOI BibTeX RDF
15	Franco Montagna, Luca Spada	Continuous approximations of product implication in MV-algebras with product.	Soft Comput.	2005	DBLP DOI BibTeX RDF	?-algebras, MV-algebras
15	Jesús Medina 0001, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego	Interval-Valued Neural Multi-adjoint Logic Programs.	IWINAC (1)	2005	DBLP DOI BibTeX RDF
15	Tommaso Flaminio	A Zero-Layer Based Fuzzy Probabilistic Logic for Conditional Probability.	ECSQARU	2005	DBLP DOI BibTeX RDF
15	Andrzej Wronski	The Distance Function in Commutative l-semigroups and the Equivalence in Lukasiewicz Logic.	Stud Logica	2004	DBLP DOI BibTeX RDF	Lukasiewicz logic, lattice ordered abelian group, distance function
15	Vilém Novák	Intensional theory of granular computing.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Fuzzy logic in narrow sense, Evaluated syntax, Extension, Intension
15	Radko Mesiar, Susanne Saminger	Domination of ordered weighted averaging operators over t-norms.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Domination, OWA operators
15	Antonio Di Nola, Ada Lettieri	On normal forms in Lukasiewicz logic.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	McNaughton function, Separation of variables
15	Agata Ciabattoni, Christian G. Fermüller, George Metcalfe	Uniform Rules and Dialogue Games for Fuzzy Logics.	LPAR	2004	DBLP DOI BibTeX RDF
15	Alfredo Milani, Chiara Morici, Radoslaw Niewiadomski	Fuzzy Matching of User Profiles for a Banner Engine.	ICCSA (3)	2004	DBLP DOI BibTeX RDF
15	Antonio Di Nola, Ada Lettieri	Formulas of Lukasiewicz's Logic Represented by Hyperplanes.	IFSA	2003	DBLP DOI BibTeX RDF
15	Stefano Aguzzoli, Brunella Gerla	Finite-valued reductions of infinite-valued logics.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
15	Vincenzo Marra, Daniele Mundici	Consequence and Complexity in Infinite-Valued Logic: A Survey.	ISMVL	2002	DBLP DOI BibTeX RDF
15	Daisuke Kachi	Tensed Ontology Based on Simple Partial Logic.	TIME	2002	DBLP DOI BibTeX RDF
15	Josep Maria Font, Ramon Jansana	Leibniz filters and the strong version of a protoalgebraic logic.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Leibniz filter, Strong version, Leibniz operator, Transfer theorem, Modal logics, Many-valued logics, Algebraizable logic, Quantum logics, Abstract algebraic logic, Protoalgebraic logic
15	Francesc Esteva, Lluís Godo, Petr Hájek 0001, Mirko Navara	Residuated fuzzy logics with an involutive negation.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF
15	Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith	Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics.	MFCS	1998	DBLP DOI BibTeX RDF
15	Matthias Baaz, Helmut Veith	Quantifier Elimination in Fuzzy Logic.	CSL	1998	DBLP DOI BibTeX RDF
15	Petr Hájek 0001	Trakhtenbrot Theorem and Fuzzy Logic.	CSL	1998	DBLP DOI BibTeX RDF
15	Thomas Lukasiewicz	Many-Valued First-Order Logics with Probabilistic Semantics.	CSL	1998	DBLP DOI BibTeX RDF