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 electronic resource (298 p.) |
| Soggetto topico |
Research & information: general
Mathematics & science |
| Soggetto non controllato |
quine
logic ontology multiple conclusion rule disjunction property metadisjunction axiomatizations of arithmetic of natural and integers numbers second-order theories Peano's axioms Wilkosz's axioms axioms of integer arithmetic modeled on Peano and Wilkosz axioms equivalent axiomatizations metalogic categoricity independence consistency logic of typical and atypical instances (LTA) logic of determination of objects (LDO) quasi topology structure (QTS) concept object typical object atypical object lattice filter ideal discussive logics the smallest discussive logic discussive operators seriality accessibility relation Kotas' method modal logic deontic logic ontology of situations semantics of law formal theory of law Wittgenstein Wolniewicz non-Fregean logic identity connective sentential calculus with identity situational semantics deduction (dual) tableau Gentzen system deductive refutability refutation systems hybrid deduction-refutation rules derivative hybrid rules soundness completeness natural deduction meta-proof theory synthetic tableaux principle of bivalence cut first-order theory universal axiom Peano's axiomatics of natural numbers Leśniewski's elementary ontology Frege's predication scheme Frege's Zahl-Anzahl distinction term logic Franz Brentano Lewis Carroll logic trees logic diagrams paraconsistent logic paraconsistency Sette's calculus the law of explosion the principle of ex contradictione sequitur quodlibet semantic tree distribution Aristotle's logic syllogistic Jan Łukasiewicz axiomatic system axiomatic refutation temporal logic intuitionistic logic minimal system knowledge sequent-type calculi nonmonotonic logics default logic rejection systems Kripke models logics of evidence and truth |
| 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 electronic resource (178 p.) |
| Collana | Frontiers Research Topics |
| Soggetto non controllato |
Brain
inference lesions reasoning Thinking Dual mechanisms Reason Emotions fMRI induction deduction logic rationality Neuropsychology |
| 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 | ||
| ||