Quantum logic is undecidable

JOURNAL ARTICLE published May 2021 in Archive for Mathematical Logic

Authors: Tobias Fritz

Intermediate Logics and the de Jongh property

JOURNAL ARTICLE published February 2011 in Archive for Mathematical Logic

Authors: Dick de Jongh | Rineke Verbrugge | Albert Visser

Residuated fuzzy logics with an involutive negation

JOURNAL ARTICLE published 1 February 2000 in Archive for Mathematical Logic

Authors: Francesc Esteva | Lluís Godo | Petr Hájek | Mirko Navara

Filter pairs and natural extensions of logics

JOURNAL ARTICLE published February 2023 in Archive for Mathematical Logic

Research funded by FAPESB (APP0072/2016)

Authors: Peter Arndt | Hugo Luiz Mariano | Darllan Conceição Pinto

Glivenko sequent classes and constructive cut elimination in geometric logics

JOURNAL ARTICLE published July 2023 in Archive for Mathematical Logic

Research funded by Academy of Finland (1308664)

Authors: Giulio Fellin | Sara Negri | Eugenio Orlandelli

Strong downward Löwenheim–Skolem theorems for stationary logics, I

JOURNAL ARTICLE published February 2021 in Archive for Mathematical Logic

Research funded by Japan Society for the Promotion of Science (18K03397)

Authors: Sakaé Fuchino | André Ottenbreit Maschio Rodrigues | Hiroshi Sakai

Logics of left variable inclusion and Płonka sums of matrices

JOURNAL ARTICLE published February 2021 in Archive for Mathematical Logic

Authors: S. Bonzio | T. Moraschini | M. Pra Baldi

Subspaces of $${mathbb{Q}}$$ whose d-logics do not have the FMP

JOURNAL ARTICLE published August 2012 in Archive for Mathematical Logic

Authors: Guram Bezhanishvili | Joel Lucero-Bryan

Laver’s results and low-dimensional topology

JOURNAL ARTICLE published February 2016 in Archive for Mathematical Logic

Authors: Patrick Dehornoy

Sufficient triangular norms in many-valued logics with standard negation

JOURNAL ARTICLE published October 2005 in Archive for Mathematical Logic

Authors: Dan Butnariu | Erich Peter Klement | Radko Mesiar | Mirko Navara

On the parameterized complexity of non-monotonic logics

JOURNAL ARTICLE published August 2015 in Archive for Mathematical Logic

Authors: Arne Meier | Irina Schindler | Johannes Schmidt | Michael Thomas | Heribert Vollmer

Simplified RCS iterations

JOURNAL ARTICLE published September 1993 in Archive for Mathematical Logic

Authors: Chaz Schlindwein

The problem of the formalization of constructive topology

JOURNAL ARTICLE published January 2005 in Archive for Mathematical Logic

Authors: Silvio Valentini

Disasters in topology without the axiom of choice

JOURNAL ARTICLE published 1 November 2001 in Archive for Mathematical Logic

Authors: Kyriakos Keremedis

Continuous triangular norm based fuzzy topology

JOURNAL ARTICLE published November 2019 in Archive for Mathematical Logic

Research funded by National Natural Science Foundation of China (11871358)

Authors: Dexue Zhang | Gao Zhang

Extensions of Hałkowska-Zajac's three-valued paraconsistent logic

JOURNAL ARTICLE published 1 April 2002 in Archive for Mathematical Logic

Authors: Alexej P. Pynko

Quasiminimal abstract elementary classes

JOURNAL ARTICLE published May 2018 in Archive for Mathematical Logic

Authors: Sebastien Vasey

Strong downward Löwenheim–Skolem theorems for stationary logics, II: reflection down to the continuum

JOURNAL ARTICLE published May 2021 in Archive for Mathematical Logic

Research funded by Japan Society for the Promotion of Science (18K03397)

Authors: Sakaé Fuchino | André Ottenbreit Maschio Rodrigues | Hiroshi Sakai

On the forking topology of a reduct of a simple theory

JOURNAL ARTICLE published May 2020 in Archive for Mathematical Logic

Authors: Ziv Shami

Condensable models of set theory

JOURNAL ARTICLE published May 2022 in Archive for Mathematical Logic

Research funded by Narodowym Centrum Nauki (2019/34/A/HS1/00399)

Authors: Ali Enayat