Autor der Publikation

Amalgamation through quantifier elimination for varieties of commutative residuated lattices.

. Arch. Math. Log., 51 (1-2): 15-34 (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

T-norm-based logics with an independent involutive negation., und . Fuzzy Sets Syst., 157 (24): 3125-3144 (2006)Amalgamation through quantifier elimination for varieties of commutative residuated lattices.. Arch. Math. Log., 51 (1-2): 15-34 (2012)Some notes on possibilistic randomisation with t-norm based joint distributions in strategic-form games., , und . Int. J. Approx. Reason., (März 2024)Logics for belief functions on MV-algebras., , und . Int. J. Approx. Reason., 54 (4): 491-512 (2013)Craig interpolation for semilinear substructural logics., und . Math. Log. Q., 58 (6): 468-481 (2012)Logics for Non-Cooperative Games with Expectations., und . EUMAS, Volume 1113 von CEUR Workshop Proceedings, Seite 82-96. CEUR-WS.org, (2013)Extending possibilistic logic over Gödel logic., , und . Int. J. Approx. Reason., 52 (1): 63-75 (2011)From Intelligent Agents to Trustworthy Human-Centred Multiagent Systems., , , , , , , , , und 2 andere Autor(en). CoRR, (2022)Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras., , und . Notre Dame J. Formal Log., 52 (4): 339-379 (2011)A Logical Treatment of Possibilistic Conditioning.. ECSQARU, Volume 3571 von Lecture Notes in Computer Science, Seite 701-713. Springer, (2005)