Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Matthew Spinks"'
Publikováno v:
Logic Journal of the IGPL. 28:1182-1206
Besides the better-known Nelson logic ($\mathcal{N}3$) and paraconsistent Nelson logic ($\mathcal{N}4$), in 1959 David Nelson introduced, with motivations of realizability and constructibility, a logic called $\mathcal{S}$. The logic $\mathcal{S}$ wa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::00fddc2a3cdf7aaec2d0f1faf22e86bf
https://doi.org/10.1093/jigpal/jzaa015
https://doi.org/10.1093/jigpal/jzaa015
Autor:
Umberto Rivieccio, Matthew Spinks
Publikováno v:
Trends in Logic ISBN: 9783030521622
We introduce a generalisation of Nelson algebras having a not necessarily involutive negation. We suggest dubbing this class quasi-Nelson algebras, in analogy with quasi-De Morgan lattices, which are a non-involutive generalisation of De Morgan latti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1c60ab809872191e111cf2e609054215
https://doi.org/10.1007/978-3-030-52163-9_8
https://doi.org/10.1007/978-3-030-52163-9_8
Publikováno v:
Soft Computing. 23:2297-2320
Nelson’s constructive logic with strong negation $$\mathbf {N3}$$ can be presented (to within definitional equivalence) as the axiomatic extension $$\mathbf {NInFL}_{ew}$$ of the involutive full Lambek calculus with exchange and weakening by the Ne
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3f269a80b32884cdaedee1a30067676b
https://doi.org/10.1007/s00500-018-3588-9
https://doi.org/10.1007/s00500-018-3588-9
Autor:
Jonathan Leech, Matthew Spinks
Publikováno v:
Journal of the Australian Mathematical Society. 102:290-306
Skew Boolean algebras for which pairs of elements have natural meets, called intersections, are studied from a universal algebraic perspective. Their lattice of varieties is described and shown to coincide with the lattice of quasi-varieties. Some co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::05b79cb27434dbed672ea986108eb472
https://doi.org/10.1017/s144678871600015x
https://doi.org/10.1017/s144678871600015x
Publikováno v:
Logic, Language, Information, and Computation ISBN: 9783662576687
Besides the better-known Nelson’s Logic and Paraconsistent Nelson’s Logic, in “Negation and separation of concepts in constructive systems” (1959), David Nelson introduced a logic called \(\mathcal {S}\) with the aim of analyzing the construc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3070c04c002d730a4caf1d432d81bca8
https://doi.org/10.1007/978-3-662-57669-4_16
https://doi.org/10.1007/978-3-662-57669-4_16
Autor:
Matthew Spinks, Robert Veroff
Publikováno v:
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science ISBN: 9783319747712
Summary Logics with strong negation are a class of sentential calculi that originally arose from concerns about the non-constructive nature of negation in intuitionistic logic. Nelson’s paraconsistent constructive logic with strong negation N4 (Alm
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::47c573c73cd8bf07eca4a8fc19e39649
https://doi.org/10.1007/978-3-319-74772-9_13
https://doi.org/10.1007/978-3-319-74772-9_13
Publikováno v:
International Journal of Algebra and Computation. 24:375-411
We generalize the notion of discriminator variety in such a way as to capture several varieties of algebras arising mainly from fuzzy logic. After investigating the extent to which this more general concept retains the basic properties of discriminat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7eede04f06baa08aefaf296d07ff11d8
https://doi.org/10.1142/s0218196714500179
https://doi.org/10.1142/s0218196714500179
Autor:
Matthew Spinks, Robert J. Bignall
Publikováno v:
The Art of Discrete and Applied Mathematics. 2:#P2.08
Left normal bands, strongly distributive skew lattices, implicative BCS-algebras, skew Boolean algebras, skew Boolean intersection algebras, and certain other non-commutative structures occur naturally as term reducts in the study of ternary discrimi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ac5ba809c9335d1f21159b6d3b805255
https://doi.org/10.26493/2590-9770.1324.5b2
https://doi.org/10.26493/2590-9770.1324.5b2
Publikováno v:
International Journal of Theoretical Physics. 50:3882-3902
The purpose of the present article is to extend the scope of some investigations about abstract logics arising quite naturally out of Quasi-MV algebras (for short, qMV algebras) also to \(\sqrt{^{\prime}}\) qMV algebras. We will therefore introduce,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7b1fd689420c8a20df4ef9dd7b76c604
https://doi.org/10.1007/s10773-011-0865-0
https://doi.org/10.1007/s10773-011-0865-0
Publikováno v:
Order. 28:9-32
Distributive lattices are well known to be precisely those lattices that possess cancellation: $x \lor y = x \lor z$ and $x \land y = x \land z$ imply y = z. Cancellation, in turn, occurs whenever a lattice has neither of the five-element lattices M
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::70c483c7f2274694b4ce17039ff64068
https://doi.org/10.1007/s11083-010-9151-7
https://doi.org/10.1007/s11083-010-9151-7