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 | ||
| ||
Introduction to logic / / Michael Genesereth, Eric Kao
| Introduction to logic / / Michael Genesereth, Eric Kao |
| Autore | Genesereth Michael R. <1948-, > |
| Edizione | [Third edition.] |
| Pubbl/distr/stampa | San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : , : Morgan & Claypool, , 2017 |
| Descrizione fisica | 1 online resource (179 pages) : illustrations (some color) |
| Disciplina | 160.9 |
| Collana | Synthesis lectures on computer science |
| Soggetto topico |
Logic
Herbrand's theorem (Number theory) |
| Soggetto non controllato |
formal logic
symbolic logic propositional logic Herbrand logic relational logic deduction reasoning artificial intelligence |
| ISBN | 1-62705-999-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
1. Introduction -- 1.1 Introduction -- 1.2 Possible worlds -- 1.3 Logical sentences -- 1.4 Logical entailment -- 1.5 Logical proofs -- 1.6 Formalization -- 1.7 Automation -- 1.8 Reading guide -- 1.9 Exercises --
2. Propositional logic -- 2.1 Introduction -- 2.2 Syntax -- 2.3 Semantics -- 2.4 Evaluation -- 2.5 Satisfaction -- 2.6 Example-natural languagE -- 2.7 Example-digital circuits -- 2.8 Exercises -- 3. Logical properties and relationships -- 3.1 Introduction -- 3.2 Logical properties -- 3.3 Logical equivalence -- 3.4 Logical entailment -- 3.5 Logical consistency -- 3.6 Connections between properties and relationships -- 3.7 Exercises -- 4. Propositional proofs -- 4.1 Introduction -- 4.2 Linear reasoning -- 4.3 Hypothetical reasoning -- 4.4 Fitch -- 4.5 Reasoning tips -- 4.6 Soundness and completeness -- 4.7 Exercises -- 5. Propositional resolution -- 5.1 Introduction -- 5.2 Clausal form -- 5.3 Resolution principle -- 5.4 Resolution reasoning -- 5.5 Exercises -- 6. Relational logic -- 6.1 Introduction -- 6.2 Syntax -- 6.3 Semantics -- 6.4 Evaluation -- 6.5 Satisfaction -- 6.6 Example- sorority world -- 6.7 Example- blocks world -- 6.8 Example- modular arithmetic -- 6.9 Logical properties -- 6.10 Logical entailment -- 6.11 Relational logic and propositional logic -- 6.12 Exercises -- 7. Relational analysis -- 7.1 Introduction -- 7.2 Truth tables -- 7.3 Semantic trees -- 7.4 Boolean models -- 7.5 Non-boolean models -- 7.6 Exercises -- 8. Relational proofs -- 8.1 Introduction -- 8.2 Proofs -- 8.3 Example -- 8.4 Example -- 8.5 Example -- 8.6 Exercises -- 9. Herbrand logic -- 9.1 Introduction -- 9.2 Syntax and semantics -- 9.3 Evaluation and satisfaction -- 9.4 Example- Peano arithmetic -- 9.5 Example- linked lists -- 9.6 Example- pseudo English -- 9.7 Example- metalevel logic -- 9.8 Undecidability -- 9.9 Exercises -- 10. Herbrand proofs -- 10.1 Introduction -- 10.2 Non-compactness and incompleteness -- 11. Induction -- 11.1 Introduction -- 11.2 Domain closure -- 11.3 Linear induction -- 11.4 Tree induction -- 11.5 Structural induction -- 11.6 Multidimensional induction -- 11.7 Embedded induction -- 11.8 Exercises -- 12. Resolution -- 12.1 Introduction -- 12.2 Clausal form -- 12.3 Unification -- 12.4 Resolution principle -- 12.5 Resolution reasoning -- 12.6 Unsatisfiability -- 12.7 Logical entailment -- 12.8 Answer extraction -- 12.9 Strategies -- 12.10 Exercises -- Bibliography -- Authors' biographies. |
| Record Nr. | UNINA-9910151959303321 |
|
Genesereth Michael R. <1948-, >
|
||
| San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : , : Morgan & Claypool, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rebellion, rascals, and revenue : tax follies and wisdom through the ages / / Michael Keen, Joel Slemrod
| Rebellion, rascals, and revenue : tax follies and wisdom through the ages / / Michael Keen, Joel Slemrod |
| Autore | Keen Michael |
| Pubbl/distr/stampa | Princeton, New Jersey : , : Princeton University Press, , [2021] |
| Descrizione fisica | 1 online resource (1 online resource 537 p.) |
| Disciplina | 336.2009 |
| Soggetto topico | Taxation - History |
| Soggetto non controllato |
America
China English France Great Britain Hut Tax War Japan Maori New Zealand United States VAT Vlad the Impaler ancient taxes anecdotes bizarre cheating death and taxes deduction dog tax dumbest taxes evasion exemption failed haven history of taxation modern taxes origin of income tax poll protests revenue sales smartest taxes stamp strangest taxes successful tariffs tax revolts tax use weird |
| ISBN | 0-691-19998-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Searching for the Holy Grail -- War Profiteers and the Corporate Tax Revisited -- Give Me Land, Lots of Land -- Conscripting Wealth -- Limiting the Damage -- The Cleverest Man in England -- Broaden the Base, Lower the Rate (Maybe) -- Shaping a Tax System -- How Many Feathers? -- 11. Citizens of the World -- Squeezing a Rice Pudding -- Havens from the Tax Storm -- The Rich Are Different from Us -- They Don't Live Here Any More -- Don't Tell -- False Profits -- If I Were You, I Wouldn't Start from Here -- A Farewell to Arms (Length Pricing)? -- Tumbling Taxes
The Big Picture -- Part III. Changing Our Ways -- 8. Breaking Bad and Making Good -- Do the Right Thing -- Family Matters -- Taxing Knowledge -- Tax Bads, Not Goods -- Saving the Planet -- Wind-Breaking Cows, Scary Dogs, and Cute Cats -- The Wages of Sin -- The Vile Custome -- The Curse of the Drinking Classes -- Sex, . . . -- . . . Drugs, . . . -- . . . But Not Much Rock and Roll -- Unhealthy Living -- Just Say No? -- 9. Collateral Damage -- Spurring Ingenuity -- Stranger Things -- Drawing a Line -- Excess Burden -- No Fire without Smoke -- A Window on Excess Burden -- 10. How to Pluck a Goose A Crime of Passion and the French Income Tax -- Old Fears and New Directions -- 6. Some Are More Equal Than Others -- Taxing Femininity -- Peculiar Tax Institutions -- Leaps of Faith -- Outsiders -- Strangers in a Strange Land -- Taxes as Punishment -- Hard Choices -- 7. Stick or Shift? -- False Starts -- Burgling Other People's Intellect -- You Must Remember This -- Buddy, Can You Spare 1/20th of a Dime? -- Things Aren't Always What They Seem -- Helping the Working Poor (or Their Employers) -- Are Tax-Free Municipal Bonds a Giveaway to the Savvy Rich? -- The Murky Incidence of the Corporate Tax Doing Your Bit -- Paying Your (Feudal) Dues -- Crossing the Line -- And There's More -- Jobs for the Boys -- A Tax on Stupidity -- Part II. Winners and Losers -- 4. Fair Enough -- Heads on Pikes -- Poll Taxes and the English -- Noble Causes -- Trying to Be Fair -- Pay for What You Get? -- Pay What You Can? -- Show Me a Sign -- Taxing by Class -- Taxing by Community -- Taxing the Finer Things in Life -- Presumptions of Prosperity -- 5. This Colossal Engine of Finance -- The Work of Giants: The Income Tax in Britain -- The Dred Scott Decision of the Revenue Cover -- Contents -- Preface -- Acknowledgments -- Part I. Plunder and Power -- 1. Any Public Matter -- Bengal to Boston -- Never Such Disgrace -- Why Bolivia Is Landlocked -- Taxing the Light of Heaven -- Not Everything Is About Tax. But . . . -- 2. The Way We Were -- A Quick Gallop through the Long History of Taxation -- How Much? -- Warfare and Welfare -- Babbage's Nightmare -- Debt, Default, and Princes -- Making Money -- 3. By Another Name -- Elizabeth I to Spectrum Auctions -- Selling Sovereignty -- Cheap Labor -- Working for Nothing -- A Rich Man's War and a Poor Man's Fight |
| Record Nr. | UNINA-9910554235303321 |
|
Keen Michael
|
||
| Princeton, New Jersey : , : Princeton University Press, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Reasoning Brain: The Interplay between Cognitive Neuroscience and Theories of Reasoning
| The Reasoning Brain: The Interplay between Cognitive Neuroscience and Theories of Reasoning |
| Autore | Vinod Goel |
| Pubbl/distr/stampa | Frontiers Media SA, 2017 |
| Descrizione fisica | 1 online resource (178 p.) |
| Collana | Frontiers Research Topics |
| Soggetto topico | Neurosciences |
| Soggetto non controllato |
Brain
deduction Dual mechanisms Emotions fMRI induction inference lesions logic Neuropsychology rationality Reason reasoning Thinking |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Reasoning Brain |
| Record Nr. | UNINA-9910220055603321 |
|
Vinod Goel
|
||
| Frontiers Media SA, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||