Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Archives --- Libraries --- Libraries --- History --- History --- History --- Soproni Levéltár --- History

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Archives --- Manuscripts, Latin (Medieval and modern) --- Berzsenyi Dániel Gimnázium (Sopron, Hungary) --- Soproni Levéltár

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mixed matrix membranes (MMMs) have attracted a large amount of interest in research laboratories worldwide in recent decades, motivated by the gap between a growing interest in developing novel mixed matrix membranes by various research groups and the lack of large-scale implementation. This Special Issue contains six publications dealing with the current opportunities and challenges of mixed matrix membranes development and applications to solve environmental and health challenges of the society of 21st century.

modeling --- neural tissue regeneration --- membrane fabrication --- nanoporous polybenzimidazole membranes --- photo-assisted polymerization --- poly (?-caprolactone) --- supported ionic liquid membranes --- CH4 selective membranes --- flat-sheet membrane --- hollow fiber membrane --- ion exchange capacity --- reduced graphene oxide --- polymer of intrinsic microporosity --- CH4 solubility --- RHO --- temperature --- porous nanoparticles --- protic imidazolium ionic liquids --- POSS® --- mixed matrix membranes --- characterization techniques --- membrane modification --- in vitro human neural models --- small-pore zeolites (CHA --- Poly(trimethylsilyl-1-propyne) (PTMSP) --- LTA) --- filler dispersion --- gas separation --- water vapor --- gas separation membrane --- CO2 separation --- nanocomposite membranes --- hydrolytic bulk degradation mechanism --- PVA --- compatibility --- borane

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The book provides a contemporary view on different aspects of the deductive systems in various types of logics including term logics, propositional logics, logics of refutation, non-Fregean logics, higher order logics and arithmetic.

Research & information: general --- Mathematics & science --- 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 --- 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

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The book provides a contemporary view on different aspects of the deductive systems in various types of logics including term logics, propositional logics, logics of refutation, non-Fregean logics, higher order logics and arithmetic.

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 --- n/a --- Peano's axioms --- Wilkosz's axioms --- Kotas' method --- hybrid deduction-refutation rules --- Peano's axiomatics of natural numbers --- Leśniewski's elementary ontology --- Frege's predication scheme --- Frege's Zahl-Anzahl distinction --- Sette's calculus --- Aristotle's logic