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 | ||
| ||
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 electronic resource (106 p.) |
| Soggetto topico |
Research & information: general
Mathematics & science |
| Soggetto non controllato |
transcendental numbers
Euler formula Yang-Baxter equation Jordan algebras Lie algebras associative algebras coalgebras Euler's formula hyperbolic functions UJLA structures (co)derivation dual numbers operational methods umbral image techniques nonassociative algebra cohomology extension metagroup branching functions admissible representations characters affine Lie algebras super-Virasoro algebras nonassociative product smashed twisted wreath algebra separable ideal |
| 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 | ||
| ||