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.
Deductive Systems in Traditional and Modern Logic
| Deductive Systems in Traditional and Modern Logic |
| Autore | Wybraniec-Skardowska Urszula |
| Pubbl/distr/stampa | Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2020 |
| Descrizione fisica | 1 online resource (298 p.) |
| Soggetto topico |
Mathematics and Science
Research and information: general |
| Soggetto non controllato |
(dual) tableau
accessibility relation Aristotle's logic atypical object axiomatic refutation axiomatic system axiomatizations of arithmetic of natural and integers numbers axioms of integer arithmetic modeled on Peano and Wilkosz axioms categoricity completeness concept consistency cut deduction deductive refutability default logic deontic logic derivative hybrid rules discussive logics discussive operators disjunction property distribution equivalent axiomatizations filter first-order theory formal theory of law Franz Brentano Frege's predication scheme Frege's Zahl-Anzahl distinction Gentzen system hybrid deduction-refutation rules ideal identity connective independence intuitionistic logic Jan Łukasiewicz knowledge Kotas' method Kripke models lattice Leśniewski's elementary ontology Lewis Carroll logic logic diagrams logic of determination of objects (LDO) logic of typical and atypical instances (LTA) logic trees logics of evidence and truth meta-proof theory metadisjunction metalogic minimal system modal logic multiple conclusion rule n/a natural deduction non-Fregean logic nonmonotonic logics object ontology ontology of situations paraconsistency paraconsistent logic Peano's axiomatics of natural numbers Peano's axioms principle of bivalence quasi topology structure (QTS) quine refutation systems rejection systems second-order theories semantic tree semantics of law sentential calculus with identity sequent-type calculi seriality Sette's calculus situational semantics soundness syllogistic synthetic tableaux temporal logic term logic the law of explosion the principle of ex contradictione sequitur quodlibet the smallest discussive logic typical object universal axiom Wilkosz's axioms Wittgenstein Wolniewicz |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910557449803321 |
Wybraniec-Skardowska Urszula
|
||
| Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Lewis Carroll et les mythologies de l'enfance / / Pascale Renaud-Grosbras, Lawrence Gasquet, Sophie Marret
| Lewis Carroll et les mythologies de l'enfance / / Pascale Renaud-Grosbras, Lawrence Gasquet, Sophie Marret |
| Autore | Dissard Jacques |
| Pubbl/distr/stampa | Rennes, : Presses universitaires de Rennes, 2016 |
| Descrizione fisica | 1 online resource (222 p.) |
| Altri autori (Persone) |
DouglasVirginie
GallotSimon GasquetLawrence HagueVéronique JousniStéphane KatajamäkiSakari LaganiChiara LebaillyHugues LecercleJean-Jacques MarretSophie MorelMichel NakajimaToshiro Nières-ChevrelIsabelle Renaud-GrosbrasPascale SmithLindsay |
| Soggetto topico |
Literature (General)
Lewis Carroll enfant littérature mythologie art |
| Soggetto non controllato |
art
Lewis Carroll littérature mythologie enfant |
| ISBN | 2-7535-4627-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-9910136977003321 |
|
Dissard Jacques
|
||
| Rennes, : Presses universitaires de Rennes, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||