| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996392926103316 |
|
|
Titolo |
The novels of Dom Francisco de Quevedo Villegas, knight of the order of St. James [[electronic resource] ] : Faithfully Englished. Whereunto is added, The marriage of Belphegor, an Italian novel. Translated from Machiavel |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, : printed for John Starkey, at the Miter in Fleet-street, near Temple-bar, 1671 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Altri autori (Persone) |
|
Salas BarbadilloAlonso Jerónimo <1581-1635.> |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
With two preliminary advertisement leaves. |
Caption title on p. 1 reads: The novels of Dom Francisco de Quevedo, the night-adventurer. |
Part 1 running title reads: The night-adventurer. |
"The marriage of Belphegor" has caption title on p. 135; register and pagination are continuous. |
Formerly Wing (2nd ed.) Q192. |
Reproduction of the original in the British Library. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9911021961303321 |
|
|
Autore |
Abe Jair Minoro |
|
|
Titolo |
An Introduction to Curry Systems : A Way to Algebraize Paraconsistent, Paracomplete, and Non-Alethic Logic / / by Jair Minoro Abe |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
|
|
|
|
|
|
|
ISBN |
|
9783031978104 |
9783031978098 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2025.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (192 pages) |
|
|
|
|
|
|
Collana |
|
Intelligent Systems Reference Library, , 1868-4408 ; ; 280 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computational intelligence |
Engineering mathematics |
Engineering - Data processing |
Artificial intelligence |
Algebra |
Computational Intelligence |
Mathematical and Computational Engineering Applications |
Artificial Intelligence |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
1.Curry Systems -- 2.C n Algebras -- 3.Heyting Algebras -- 4.P n -Algebras -- 5.N n -Algebras -- 6.Algebraization Of 1 st Order Paraconsistent Systems C*n -- 7.Algebraization of 1 st Order Paracomplete Systems Pn* -- 8.Algebraization Of 1 st Order Non-Alethic Systems N n * -- 9.P Algebras & Monadic Curry Algebras Q -- 10.Alternative Algebraization of Classic Logic -- 11.Conclusion. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book presents a pioneering investigation of the algebraic foundations of non-classical logics. Unifying paraconsistent, paracomplete, and non-alethic structures introduces Curry Systems as a versatile and unifying framework that transcends the limitations of traditional algebraization. Through the formal development of the Cn-, Pn-, Nn-, and Pτ-algebras, as well as their first-order extensions, this book offers pre-algebraic tools for modeling contradiction, indeterminacy, and non-alethic reasoning. Essential reading for |
|
|
|
|
|
|
|
|
|
|
logicians, mathematicians, philosophers of logic, and researchers in artificial intelligence, this book demonstrates how algebraic methods can rigorously capture reasoning under inconsistency and incompleteness. At once a comprehensive reference and intellectual invitation, it highlights the important role of pre-algebraic structures in the development of logical theory and intelligent systems. |
|
|
|
|
|
| |