The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Filters
Page 1304 of Mathematical Reviews Vol. , Issue 96c
[page]
1996
Mathematical Reviews
Preserved Fulltext
|[Simon, Andras} (H-AOS; Budapest) Undecidable varieties of semilattice-ordered semigroups, of Boolean algebras with operators, and logics extending Lambek calculus. (English summary) Bull. ...
Among the corollaries to the main result is that the variety of all Boolean algebras with an associative binary operator has an undecidable equational theory.
S. ...
Multi-Sorted Residuation
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
with lattice and boolean operations). ...
Generalized Lambek Calculus GL involves a finite number of basic operations (with an arbitrary number of arguments) and their residual operations [7] . ...
The ordered algebras A s are always posets, but some of them can also admit semilattice, lattice, boolean or Heyting operations. ...
doi:10.1007/978-3-642-54789-8_8
fatcat:53yq2bqs5jabpobjwdvnsy5ony
Relevant and substructural logics
[chapter]
2006
Handbook of the History of Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
This is a history of relevant and substructural logics, written for the Handbook of the History and Philosophy of Logic, edited by Dov Gabbay and John Woods. 1 ...
Early antecedents of the frame semantics for substructural logics can be found in Jónnson and Tarski's work on the representation of Boolean algebras with operators [141, 142] . ...
Then relevant logics are truly systems of modal logic extending classical propositional logic with two modal or intensional operators, ∼ (a one-place operator) and → (a two-place operator). ...
doi:10.1016/s1874-5857(06)80030-0
fatcat:rzftxqhxpnacveqe5guz2s6sse
Relevance Logic
[chapter]
2002
Handbook of Philosophical Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
Relevance (and relevant) logic has lost one of its most original and productive proponents.
J. Michael Dunn Indiana University
Greg Restall Macquarie University ...
These include Richard Routley and Alasdair Urquhart and especially Nuel D. Belnap, Jr. and Robert K. Meyer, and of course Alan Ross Anderson, to whose memory I dedicate this essay. ...
The semantic structures of relevance logics have close cousins in the models for the Lambek Calculus and in Relation algebras. Let's consider relation algebras first. ...
doi:10.1007/978-94-017-0460-1_1
fatcat:is6ntpny6rciznjjn6yhbneo4m
Page 191 of Mathematical Reviews Vol. 28, Issue Index
[page]
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
varieties of semilattice-ordered semigroups, of Boolean algebras with operators, and logics extending Lambek calculus. ...
(English summary) 96i:20075
Németi, Istvan (with Sain, Ildiko; Simon, Andras) Undecidability of the equational theory of some classes of residuated Boolean algebras with operators. ...
Most simple extensions of FL_e are undecidable
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
All known structural extensions of the substructural logic FL_e, Full Lambek calculus with exchange/commutativity, (corresponding to subvarieties of commutative residuated lattices axiomatized by {∨, · ...
An even bigger class of extensions is shown to have undecidable deducibility problem (the corresponding varieties of residuated lattices have undecidable word problem); actually with very few exceptions ...
Substructural logics are defined as extensions of the Full Lambek calculus FL and include among others classical, intuitionistic, linear, relevance, bunched-implication and many-valued logics. ...
arXiv:2005.00645v1
fatcat:4ufymv2d2vhptmxqynds2hwjui
Page 1363 of Mathematical Reviews Vol. 28, Issue Index
[page]
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
varieties of semilattice-ordered semigroups, of Boolean algebras with operators, and logics extending Lambek calculus. ...
Comer) 96c:03090 03D35 (03C05, 08B05)
— (with Németi, Istvan; Sain, Ildik6) Undecidability of the equational theory of some classes of residuated Boolean algebras with operators. ...
18. Mathematical Linguistics
[chapter]
Trends in Linguistics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Second, traditional boolean algebras are of course IBAs and SIBRs -let us denote them by B. ...
Therefore, Another way of weakening the Boolean structure is to consider meet semilattices of linear subspaces. ...
doi:10.1515/9783110890754.212
fatcat:3rtwoljvffhifd5np35txrtpzy