Search results
From MaRDI portal
- Interpolation and the projective Beth property in well-composed logics 2012-12-11 Paper Restricted interpolation property in superintuitionistic logics 2012-06-29...10 bytes (19 words) - 17:35, 11 December 2023
- Publication Date of Publication Type The Beth property in algebraic logic 2006-10-27 Paper https://portal.mardi4nfdi.de/entity/Q4329232 2002-12-11 Paper...10 bytes (16 words) - 15:45, 24 September 2023
- the Failure of the Weak Beth Property 1976-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4052110 1974-01-01 Paper...10 bytes (16 words) - 20:05, 26 December 2023
- 2016-06-13 Paper ASSERTIONALLY EQUIVALENT QUASIVARIETIES 2008-08-19 Paper The Beth property in algebraic logic 2006-10-27 Paper Equivalence of consequence operations...10 bytes (19 words) - 16:17, 8 December 2023
- of Publication Type On the Beth properties of some intuitionistic modal logics 2003-09-16 Paper On the interpolation property of some intuitionistic modal...10 bytes (16 words) - 15:44, 24 September 2023
- Complexity of Analytic Sets 1978-01-01 Paper On the Failure of the Weak Beth Property 1976-01-01 Paper https://portal.mardi4nfdi.de/entity/Q5534228 1967-01-01...10 bytes (17 words) - 21:21, 24 September 2023
- 2001-12-09 Paper Lazzarini's Lucky Approximation of π 1997-12-22 Paper Beth's property fails in L<ω 1980-01-01 Paper An Ehrenfeucht game for the multivariable...10 bytes (17 words) - 11:43, 24 September 2023
- Publication Date of Publication Type Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics 2010-08-26 Paper...10 bytes (16 words) - 03:24, 28 December 2023
- Justification Logic 2011-05-27 Paper Common knowledge does not have the Beth property 2010-08-16 Paper A Formal Model of Data Privacy 2010-02-02 Paper Privacy...10 bytes (17 words) - 22:49, 24 September 2023
- 2009-01-20 Paper Lattice-Based Relation Algebras II 2009-01-20 Paper The Beth property and interpolation in lattice-based algebras and logics 2008-12-18 Paper...10 bytes (18 words) - 08:17, 9 December 2023
- RELATIONS 2017-09-27 Paper Finite-Variable Logics Do Not Have Weak Beth Definability Property 2017-08-28 Paper On a new semantics for first-order predicate...10 bytes (17 words) - 12:52, 28 January 2024
- RELATIONS 2017-09-27 Paper Finite-Variable Logics Do Not Have Weak Beth Definability Property 2017-08-28 Paper On a new semantics for first-order predicate...10 bytes (16 words) - 16:22, 9 December 2023
- zbMath Open ingram.beth-fisherMaRDI QIDQ751157 No records found. This page was built for person: Beth Fisher Ingram...10 bytes (18 words) - 20:41, 12 December 2023
- Weakly Cancellative Fuzzy Logics 2006-12-04 Paper Interpolation and Beth's property in propositional many-valued logics: a semantic investigation 2006-08-16...10 bytes (17 words) - 15:59, 7 December 2023
- zbMath Open bennett.beth-anne-vMaRDI QIDQ1306077 No records found. This page was built for person: Beth Anne Bennett...10 bytes (19 words) - 13:43, 13 December 2023
- zbMath Open marks.melanie-bethMaRDI QIDQ1579205 No records found. This page was built for person: Melanie Beth Marks...10 bytes (18 words) - 13:04, 13 December 2023
- zbMath Open dawson-saunders.beth-kMaRDI QIDQ790561 No records found. This page was built for person: Beth K. Dawson-Saunders...10 bytes (20 words) - 12:54, 7 October 2023
- zbMath Open malow.beth-aMaRDI QIDQ4419442 No records found. This page was built for person: Beth A. Malow...10 bytes (18 words) - 20:44, 26 December 2023
- zbMath Open beth.m-e-wMaRDI QIDQ5818469 No records found. This page was built for person: M. E. W. Beth...10 bytes (20 words) - 21:23, 27 December 2023
- zbMath Open daponte.beth-osborneMaRDI QIDQ4375997 No records found. This page was built for person: Beth Osborne Daponte...10 bytes (18 words) - 20:39, 26 December 2023
