Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 419204 results
Sort by: relevance publication year

Fuzzy logics based on [0,1)-continuous uninorms

JOURNAL ARTICLE published July 2007 in Archive for Mathematical Logic

Authors: Dov Gabbay | George Metcalfe

https://doi.org/10.1007/s00153-007-0047-1 Actions

Normal forms for fuzzy logics: a proof-theoretic approach

JOURNAL ARTICLE published July 2007 in Archive for Mathematical Logic

Authors: Petr Cintula | George Metcalfe

https://doi.org/10.1007/s00153-007-0033-7 Actions

Analytic Calculi for Product Logics

JOURNAL ARTICLE published October 2004 in Archive for Mathematical Logic

Authors: George Metcalfe | Nicola Olivetti | Dov Gabbay

https://doi.org/10.1007/s00153-004-0225-3 Actions

Fundamental Logics

BOOK CHAPTER published in Applied Logic Series

Authors: George Metcalfe | Nicola Olivetti | Dov Gabbay

https://doi.org/10.1007/978-1-4020-9409-5_6 Actions

First-Order Logics

BOOK CHAPTER published in Applied Logic Series

Authors: George Metcalfe | Nicola Olivetti | Dov Gabbay

https://doi.org/10.1007/978-1-4020-9409-5_8 Actions

Proof Theory for Fuzzy Logics

BOOK published 2009 in Applied Logic Series

Authors: George Metcalfe | Nicola Olivetti | Dov Gabbay

https://doi.org/10.1007/978-1-4020-9409-5 Actions

Introduction

BOOK CHAPTER published in Applied Logic Series

Authors: George Metcalfe | Nicola Olivetti | Dov Gabbay

https://doi.org/10.1007/978-1-4020-9409-5_1 Actions

Further Topics

BOOK CHAPTER published in Applied Logic Series

Authors: George Metcalfe | Nicola Olivetti | Dov Gabbay

https://doi.org/10.1007/978-1-4020-9409-5_9 Actions

Syntactic Eliminations

BOOK CHAPTER published in Applied Logic Series

Authors: George Metcalfe | Nicola Olivetti | Dov Gabbay

https://doi.org/10.1007/978-1-4020-9409-5_5 Actions

Uniformity and Efficiency

BOOK CHAPTER published in Applied Logic Series

Authors: George Metcalfe | Nicola Olivetti | Dov Gabbay

https://doi.org/10.1007/978-1-4020-9409-5_7 Actions

Gentzen Systems

BOOK CHAPTER published 2009 in Applied Logic Series

Authors: George Metcalfe | Nicola Olivetti | Dov Gabbay

https://doi.org/10.1007/978-1-4020-9409-5_4 Actions

Hilbert Systems

BOOK CHAPTER published 2009 in Applied Logic Series

Authors: George Metcalfe | Nicola Olivetti | Dov Gabbay

https://doi.org/10.1007/978-1-4020-9409-5_3 Actions

The Semantic Basis

BOOK CHAPTER published 2009 in Applied Logic Series

Authors: George Metcalfe | Nicola Olivetti | Dov Gabbay

https://doi.org/10.1007/978-1-4020-9409-5_2 Actions

Expressivity in chain-based modal logics

JOURNAL ARTICLE published May 2018 in Archive for Mathematical Logic

Research funded by Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung (200021_165850)

Authors: Michel Marti | George Metcalfe

https://doi.org/10.1007/s00153-017-0573-4 Actions

How to make your logic fuzzy

BOOK CHAPTER published 5 November 1998 in Fibring Logics

Authors: Dov M Gabbay

https://doi.org/10.1093/oso/9780198503811.003.0012 Actions

Substructural fuzzy logics

JOURNAL ARTICLE published September 2007 in Journal of Symbolic Logic

Authors: George Metcalfe | Franco Montagna

https://doi.org/10.2178/jsl/1191333844 Actions

How to Make Your Logic Fuzzy: Fibred Semantics and the Weaving of Logics

BOOK CHAPTER published 1999 in Applied Logic Series

Authors: Dov M. Gabbay

https://doi.org/10.1007/978-94-017-1652-9_5 Actions

G. Metcalfe, N. Olivetti and D. Gabbay. Proof theory for fuzzy logics. Applied Logic Series, vol. 36. Springer, 2009, viii + 276 pp.

JOURNAL ARTICLE published September 2010 in The Bulletin of Symbolic Logic

Authors: Bartosz Wiȩckowski

https://doi.org/10.1017/s1079898600000895 Actions

Advances in the ŁΠ and logics

JOURNAL ARTICLE published July 2003 in Archive for Mathematical Logic

Authors: Petr Cintula

https://doi.org/10.1007/s00153-002-0152-0 Actions

A type of fuzzy ring

JOURNAL ARTICLE published 5 March 2007 in Archive for Mathematical Logic

Authors: Hacı Aktaş | Naim Çağman

https://doi.org/10.1007/s00153-007-0035-5 Actions
Feedback: support@crossref.org