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 | ||
| ||
Gröbner bases in symbolic analysis [[electronic resource] /] / edited by Markus Rosenkranz, Dongming Wang
| Gröbner bases in symbolic analysis [[electronic resource] /] / edited by Markus Rosenkranz, Dongming Wang |
| Pubbl/distr/stampa | Berlin ; ; New York, : Walter De Gruyter, 2007 |
| Descrizione fisica | 1 online resource (360 p.) |
| Disciplina |
512.44
515.35 |
| Altri autori (Persone) |
RosenkranzMarkus <1971->
WangDongming <1961-> |
| Collana | Radon series on computational and applied mathematics |
| Soggetto topico |
Gröbner bases
Differential equations |
| Soggetto non controllato |
Algebras
base ideal polynomial sybolic computation |
| ISBN | 3-11-092275-4 |
| Classificazione | SD 2006 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Preface / Rosenkranz, Markus / Wang, Dongming -- Contents -- Gröbner Bases in Algebraic Analysis: New Perspectives for Applications / Pommaret, Jean-François -- Solving Systems of Linear Partial Difference and Differential Equations with Constant Coefficients Using Gröbner Bases / Oberst, Ulrich / Pauer, Franz -- Computation of the Strength of Systems of Difference Equations via Generalized Gröbner Bases / Levin, Alexander -- Editors' Note in Memory of Giuseppa Carrà Ferro -- A Survey on Differential Gröbner Bases / Ferro, Giuseppa Carrà -- Differential Elimination and Biological Modelling / Boulier, François -- Janet Bases and Applications / Robertz, Daniel -- Spencer Cohomology, Differential Equations, and Pommaret Bases / Seiler, Werner M. -- Differential Invariants for Lie Pseudo-groups / Olver, Peter / Pohjanpelto, Juha -- Invariant Theory and Differential Operators / Traves, William N. -- Compatibility Complexes for Overdetermined Boundary Problems / Krupchyk, Katsiaryna / Tuomela, Jukka -- On Initial Value Problems for Ordinary Differential-Algebraic Equations / Pritchard, F. Leon / Sit, William Y. -- Index |
| Record Nr. | UNINA-9910788424903321 |
| Berlin ; ; New York, : Walter De Gruyter, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Non-associative Structures and Other Related Structures
| Non-associative Structures and Other Related Structures |
| Autore | Nichita Florin Felix |
| Pubbl/distr/stampa | Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2020 |
| Descrizione fisica | 1 online resource (106 p.) |
| Soggetto topico |
Mathematics & science
Research & information: general |
| Soggetto non controllato |
(co)derivation
admissible representations affine Lie algebras algebra associative algebras branching functions characters coalgebras cohomology dual numbers Euler formula Euler's formula extension hyperbolic functions ideal Jordan algebras Lie algebras metagroup n/a nonassociative nonassociative algebra operational methods product separable smashed super-Virasoro algebras transcendental numbers twisted wreath UJLA structures umbral image techniques Yang-Baxter equation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910557657803321 |
|
Nichita Florin Felix
|
||
| Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||