Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Neutrosophic sets and systems
| Neutrosophic sets and systems |
| Pubbl/distr/stampa | Gallup, NM : , : Department of Mathematics and Science, University of New Mexico, , [2013]- |
| Disciplina | 160 |
| Soggetto topico |
Logic, Symbolic and mathematical
Logic |
| Soggetto genere / forma |
Trivia and miscellanea
Periodicals. |
| Soggetto non controllato | Logic |
| ISSN | 2331-6055 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | NSS |
| Record Nr. | UNINA-9910516098003321 |
| Gallup, NM : , : Department of Mathematics and Science, University of New Mexico, , [2013]- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Neutrosophic sets and systems
| Neutrosophic sets and systems |
| Pubbl/distr/stampa | Gallup, NM : , : Department of Mathematics and Science, University of New Mexico, , [2013]- |
| Disciplina | 160 |
| Soggetto topico |
Logic, Symbolic and mathematical
Logic |
| Soggetto genere / forma |
Trivia and miscellanea
Periodicals. |
| Soggetto non controllato | Logic |
| ISSN | 2331-6055 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | NSS |
| Record Nr. | UNISA-996452245503316 |
| Gallup, NM : , : Department of Mathematics and Science, University of New Mexico, , [2013]- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A new introduction to modal logic / / G.E. Hughes and M.J. Cresswell
| A new introduction to modal logic / / G.E. Hughes and M.J. Cresswell |
| Autore | Hughes G. E (George Edward), <1918-, > |
| Pubbl/distr/stampa | London ; ; New York : , : Routledge, , 1996 |
| Descrizione fisica | 1 online resource (408 p.) |
| Disciplina | 160 |
| Altri autori (Persone) | CresswellM. J |
| Soggetto topico | Modality (Logic) |
| Soggetto genere / forma | Electronic books. |
| ISBN |
9786610110865
1-134-80028-2 1-280-11086-4 0-203-02810-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Book Cover; Title; Contents; Preface; The Basic Notions; The Systems K, T and D; The Systems S4, S5, B, Triv and Ver; Testing for validity; Conjunctive Normal Form; Completeness; Canonical Models; Finite Models; Incompleteness; Frames and Systems; Strict Implication; Glimpses Beyond; The Lower Predicate Calculus; The Completeness of Modal LPC; Expanding Domains; Modality and Existence; Identity and Descriptions; Intensional Objects; Further Issues; Axioms, Rules and Systems; Solutions to Selected Exercises; Bibliography; Index; |
| Record Nr. | UNINA-9910450057203321 |
Hughes G. E (George Edward), <1918-, >
|
||
| London ; ; New York : , : Routledge, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A new introduction to modal logic / / G.E. Hughes, M.J. Cresswell
| A new introduction to modal logic / / G.E. Hughes, M.J. Cresswell |
| Autore | Hughes G. E (George Edward), <1918-, > |
| Pubbl/distr/stampa | London ; ; New York : , : Routledge, , 1996 |
| Descrizione fisica | 1 online resource (x, 421 pages) : illustrations |
| Disciplina | 160 |
| Altri autori (Persone) | CresswellM. J |
| Soggetto topico | Modality (Logic) |
| ISBN |
1-134-80027-4
9786610110865 1-134-80028-2 1-280-11086-4 0-203-02810-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Book Cover; Title; Contents; Preface; The Basic Notions; The Systems K, T and D; The Systems S4, S5, B, Triv and Ver; Testing for validity; Conjunctive Normal Form; Completeness; Canonical Models; Finite Models; Incompleteness; Frames and Systems; Strict Implication; Glimpses Beyond; The Lower Predicate Calculus; The Completeness of Modal LPC; Expanding Domains; Modality and Existence; Identity and Descriptions; Intensional Objects; Further Issues; Axioms, Rules and Systems; Solutions to Selected Exercises; Bibliography; Index; |
| Record Nr. | UNINA-9910782957803321 |
|
Hughes G. E (George Edward), <1918-, >
|
||
| London ; ; New York : , : Routledge, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A new introduction to modal logic / / G.E. Hughes, M.J. Cresswell
| A new introduction to modal logic / / G.E. Hughes, M.J. Cresswell |
| Autore | Hughes G. E (George Edward), <1918-, > |
| Pubbl/distr/stampa | London ; ; New York : , : Routledge, , 1996 |
| Descrizione fisica | 1 online resource (x, 421 pages) : illustrations |
| Disciplina | 160 |
| Altri autori (Persone) | CresswellM. J |
| Soggetto topico | Modality (Logic) |
| ISBN |
1-134-80027-4
9786610110865 1-134-80028-2 1-280-11086-4 0-203-02810-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Book Cover; Title; Contents; Preface; The Basic Notions; The Systems K, T and D; The Systems S4, S5, B, Triv and Ver; Testing for validity; Conjunctive Normal Form; Completeness; Canonical Models; Finite Models; Incompleteness; Frames and Systems; Strict Implication; Glimpses Beyond; The Lower Predicate Calculus; The Completeness of Modal LPC; Expanding Domains; Modality and Existence; Identity and Descriptions; Intensional Objects; Further Issues; Axioms, Rules and Systems; Solutions to Selected Exercises; Bibliography; Index; |
| Record Nr. | UNINA-9910816102103321 |
|
Hughes G. E (George Edward), <1918-, >
|
||
| London ; ; New York : , : Routledge, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Nicholas of Amsterdam : commentary on The old logic : critical edition with introduction and indexes / / Egbert P. Bos
| Nicholas of Amsterdam : commentary on The old logic : critical edition with introduction and indexes / / Egbert P. Bos |
| Autore | Bos Egbert P. |
| Pubbl/distr/stampa | Amsterdam, [Netherlands] ; ; Philadelphia, [Pennsylvania] : , : John Benjamins Publishing Company, , 2016 |
| Descrizione fisica | 1 online resource (439 p.) |
| Disciplina | 160 |
| Collana | Bochumer Studien zur Philosophie |
| Soggetto topico |
Logic, Medieval
Logic, Ancient |
| Soggetto genere / forma | Electronic books. |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Preface and acknowledgments; Introduction; 1. Preliminary remarks; 2. Nicholas of Amsterdam: life and works ; 2.1 Life ; 2.2 Works ; 2.3 Date of Nicholas' commentary on the ars vetus ; 3. Curriculum of the philosophical faculty of the University of Rostock ; 4. Form of the questions ; 5. The commentary as an exercitium ('exercise') ; 6. Principles of Nicholas' philosophy in his Commentary on the ars vetus ; 6.1 Nicholas as a conceptualist ; 6.2 Speaking in terms of reality or in terms of logic ; 6.3 Limitations of human knowledge ; 6.4 Semantics ; 6.4.1 Conventional language
6.5 On 'individual' 6.5.1 Singular concepts ; 6.5.2 Relation of individual terms with the imagination ; 7. Equivocal concepts ; 8. Category of quantity ; 8.1 Status of quantity ; 8.2 Nicholas' solution ; 9. Nicholas of Amsterdam on modal propositions ; 10. Principle of non-contradiction ; 10.1 Aristotle ; 10.2 John Buridan and Marsilius of Inghen ; 10.3 Nicholas' solution ; 11. Conclusions ; 12. Manuscript Munich, Bayerische Staatsbibliothek Clm 500 ; 12.1 Nicholas' Quaestiones logicales on the old logic ; 12.1.1 Exercitium in Porphyrium ; 12.1.2 Exercitium super Praedicamenta Aristotelis (15) Quaeritur decimo quinto, utrum definitio proprii sit bona in qua dicitur 'proprium est... |
| Record Nr. | UNINA-9910480896903321 |
|
Bos Egbert P.
|
||
| Amsterdam, [Netherlands] ; ; Philadelphia, [Pennsylvania] : , : John Benjamins Publishing Company, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Nicholas of Amsterdam : commentary on The old logic : critical edition with introduction and indexes / / Egbert P. Bos
| Nicholas of Amsterdam : commentary on The old logic : critical edition with introduction and indexes / / Egbert P. Bos |
| Autore | Bos Egbert P. |
| Pubbl/distr/stampa | Amsterdam, [Netherlands] ; ; Philadelphia, [Pennsylvania] : , : John Benjamins Publishing Company, , 2016 |
| Descrizione fisica | 1 online resource (439 p.) |
| Disciplina | 160 |
| Altri autori (Persone) |
Nicholas, of Amsterdam, |
| Collana | Bochumer Studien zur Philosophie |
| Soggetto topico |
Logic, Medieval
Logic, Ancient |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Preface and acknowledgments; Introduction; 1. Preliminary remarks; 2. Nicholas of Amsterdam: life and works ; 2.1 Life ; 2.2 Works ; 2.3 Date of Nicholas' commentary on the ars vetus ; 3. Curriculum of the philosophical faculty of the University of Rostock ; 4. Form of the questions ; 5. The commentary as an exercitium ('exercise') ; 6. Principles of Nicholas' philosophy in his Commentary on the ars vetus ; 6.1 Nicholas as a conceptualist ; 6.2 Speaking in terms of reality or in terms of logic ; 6.3 Limitations of human knowledge ; 6.4 Semantics ; 6.4.1 Conventional language
6.5 On 'individual' 6.5.1 Singular concepts ; 6.5.2 Relation of individual terms with the imagination ; 7. Equivocal concepts ; 8. Category of quantity ; 8.1 Status of quantity ; 8.2 Nicholas' solution ; 9. Nicholas of Amsterdam on modal propositions ; 10. Principle of non-contradiction ; 10.1 Aristotle ; 10.2 John Buridan and Marsilius of Inghen ; 10.3 Nicholas' solution ; 11. Conclusions ; 12. Manuscript Munich, Bayerische Staatsbibliothek Clm 500 ; 12.1 Nicholas' Quaestiones logicales on the old logic ; 12.1.1 Exercitium in Porphyrium ; 12.1.2 Exercitium super Praedicamenta Aristotelis (15) Quaeritur decimo quinto, utrum definitio proprii sit bona in qua dicitur 'proprium est... |
| Record Nr. | UNINA-9910798647603321 |
|
Bos Egbert P.
|
||
| Amsterdam, [Netherlands] ; ; Philadelphia, [Pennsylvania] : , : John Benjamins Publishing Company, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Nicholas of Amsterdam : commentary on The old logic : critical edition with introduction and indexes / / Egbert P. Bos
| Nicholas of Amsterdam : commentary on The old logic : critical edition with introduction and indexes / / Egbert P. Bos |
| Autore | Bos Egbert P. |
| Pubbl/distr/stampa | Amsterdam, [Netherlands] ; ; Philadelphia, [Pennsylvania] : , : John Benjamins Publishing Company, , 2016 |
| Descrizione fisica | 1 online resource (439 p.) |
| Disciplina | 160 |
| Altri autori (Persone) |
Nicholas, of Amsterdam, |
| Collana | Bochumer Studien zur Philosophie |
| Soggetto topico |
Logic, Medieval
Logic, Ancient |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Preface and acknowledgments; Introduction; 1. Preliminary remarks; 2. Nicholas of Amsterdam: life and works ; 2.1 Life ; 2.2 Works ; 2.3 Date of Nicholas' commentary on the ars vetus ; 3. Curriculum of the philosophical faculty of the University of Rostock ; 4. Form of the questions ; 5. The commentary as an exercitium ('exercise') ; 6. Principles of Nicholas' philosophy in his Commentary on the ars vetus ; 6.1 Nicholas as a conceptualist ; 6.2 Speaking in terms of reality or in terms of logic ; 6.3 Limitations of human knowledge ; 6.4 Semantics ; 6.4.1 Conventional language
6.5 On 'individual' 6.5.1 Singular concepts ; 6.5.2 Relation of individual terms with the imagination ; 7. Equivocal concepts ; 8. Category of quantity ; 8.1 Status of quantity ; 8.2 Nicholas' solution ; 9. Nicholas of Amsterdam on modal propositions ; 10. Principle of non-contradiction ; 10.1 Aristotle ; 10.2 John Buridan and Marsilius of Inghen ; 10.3 Nicholas' solution ; 11. Conclusions ; 12. Manuscript Munich, Bayerische Staatsbibliothek Clm 500 ; 12.1 Nicholas' Quaestiones logicales on the old logic ; 12.1.1 Exercitium in Porphyrium ; 12.1.2 Exercitium super Praedicamenta Aristotelis (15) Quaeritur decimo quinto, utrum definitio proprii sit bona in qua dicitur 'proprium est... |
| Record Nr. | UNINA-9910816653803321 |
|
Bos Egbert P.
|
||
| Amsterdam, [Netherlands] ; ; Philadelphia, [Pennsylvania] : , : John Benjamins Publishing Company, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Nome e necessita / Saul Kripke
| Nome e necessita / Saul Kripke |
| Autore | KRIPKE, Saul |
| Pubbl/distr/stampa | Torino, : Boringhieri, 1982 |
| Descrizione fisica | 162 p., [1] c. di tav. : ritr. ; 23 cm. |
| Disciplina | 160(Logica) |
| Soggetto topico | LOGICA |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNIOR-UON00487833 |
|
KRIPKE, Saul
|
||
| Torino, : Boringhieri, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. L'Orientale | ||
| ||
Nome e necessita / Saul Kripke
| Nome e necessita / Saul Kripke |
| Autore | Kripke, Saul A. |
| Pubbl/distr/stampa | Torino : Bollati Boringhieri, 1999 |
| Descrizione fisica | 162 p. ; 22 cm. |
| Disciplina | 160 |
| Collana | Saggi [Boringhieri]. Storia, filosofia e scienze sociali |
| Soggetto topico |
Filosofia teoretica - Saggi
Logica - Saggi |
| ISBN | 8833911357 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991003840909707536 |
|
Kripke, Saul A.
|
||
| Torino : Bollati Boringhieri, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
