Search results for "03B50"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
33	Alexej P. Pynko	Extensions of Halkowska-Zajac's three-valued paraconsistent logic.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
23	Klaus Denecke, Dara Phusanga	Hyperformulas and Solid Algebraic Systems.	Stud Logica	2008	DBLP DOI BibTeX RDF	AMS subject classification 03B50, 08A46, 08A30
23	Jirí Rachunek, Dana Salounová	Monadic GMV-algebras.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B50, 06F15, 06D35, 06F05
23	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
23	George Georgescu	Fuzzy power structures.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B52, 03B50
23	Luca Spada	LPi logic with fixed points.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B50, 03B52, 06F25
23	Anthony W. Hager, Chawne M. Kimber	Uniformly Hyperarchimedean Lattice-Ordered Groups.	Order	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary: 06F20, 08B15, 54C40, Secondary: 03B50
23	Carlos Ansótegui, Jose Larrubia, Chu Min Li, Felip Manyà	Exploiting multivalued knowledge in variable selection heuristics for SAT solvers.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03B50, 03B05, 03B70
23	Anatolij Dvurecenskij	Every Linear Pseudo BL-Algebra Admits a State.	Soft Comput.	2007	DBLP DOI BibTeX RDF	AMS Classification 06D35, 03G12, 03B50
23	Dov M. Gabbay, George Metcalfe	Fuzzy logics based on [0, 1)-continuous uninorms.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B50, 03B47, 03B52
23	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
23	Tommaso Flaminio	NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B50, 06D35
23	David Pearce 0001	Equilibrium logic.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03B50, 68N17, 68T30, 03B70, 03B55
23	Anatolij Dvurecenskij, Jirí Rachunek	Bounded commutative residuated l-monoids with general comparability and states.	Soft Comput.	2006	DBLP DOI BibTeX RDF	AMS classification: 06D35, 03G25, 28E15, 03B50, 06F05
23	Petr Cintula	Weakly Implicative (Fuzzy) Logics I: Basic Properties.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B22, 03B47, 06F35, 03G99, 03B52, 03B50
23	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
23	Félix Bou, Àngel García-Cerdaña, Ventura Verdú	On two fragments with negation and without implication of the logic of residuated lattices.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B47, 03F99, 06D15, 06B99, 03B50
23	Ioana Leustean	Non-commutative Lukasiewicz propositional logic.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B50, 06D35