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 | ||
| ||
Design and Application of Additive Manufacturing
| Design and Application of Additive Manufacturing |
| Autore | Paz Rubén |
| Descrizione fisica | 1 online resource (204 p.) |
| Soggetto topico |
History of engineering and technology
Technology: general issues |
| Soggetto non controllato |
15-5 PH stainless steel
316 L stainless steel 3D geometry modelling 3d printing 3D printing 4D printing ABS additive manufacturing aging aluminum aseptic loosening balancing Bayesian optimization bead on plate test biomimicry bone remodelling classifier closed impeller composite film defocusing deformation mechanism density energy absorption femoral component finite element analysis finite element thermal analysis flexible pressure sensor hybrid technology IN 625 in-situ neutron diffraction infill density internal structures investment casting lattice low-cycle fatigue machine vision martensite transformation material extrusion material extrusion additive manufacturing mechanical properties melt pool microstructure model calibration MPFL pumps n/a nickel-based superalloy non-destructive testing PETG PLA polylactic acid polymer rheology powder spreading defect print pattern scaffold selective laser melting shape changing behavior shape memory polymers SLM stress shielding structural joints tensile testing thermal joining thermographic image tissue engineering topological optimization total hip replacement triply periodic minimal surface |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910595071603321 |
|
Paz Rubén
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||