المؤلفون: Ozawa, Masanao

المصدر: Ann. Pure Appl. Logic 172 (4), 102938/1-42 (2021)

مصطلحات موضوعية: Quantum Physics, Mathematics - Logic, 03E40, 03E70, 03E75, 03G12, 06C15, 46L60, 81P10

URL الوصول: http://arxiv.org/abs/2002.06692

المؤلفون: Carnielli, Walter, Coniglio, Marcelo E.

مصطلحات موضوعية: Mathematics - Logic, 03E40, 03E70

URL الوصول: http://arxiv.org/abs/1911.11833

المؤلفون: Friedman, Sy David, Fuchino, Sakaé, Sakai, Hiroshi

مصطلحات موضوعية: Mathematics - Logic, 03E40, 03E70, 03E99

URL الوصول: http://arxiv.org/abs/1607.01625

المؤلفون: Antos, Carolin, Friedman, Sy-David

مصطلحات موضوعية: Mathematics - Logic, 03Exx, 03E40, 03E70

URL الوصول: http://arxiv.org/abs/1510.04082

المؤلفون: Ozawa, Masanao

المصدر: Rev. Symb. Logic 10, 782-807 (2017)

مصطلحات موضوعية: Quantum Physics, Mathematical Physics, Mathematics - Logic, 03E40, 03E70, 03E75, 03G12, 06C15, 46L60, 81P10

URL الوصول: http://arxiv.org/abs/0908.0367

المؤلفون: Masanao Ozawa

مصطلحات موضوعية: Discrete mathematics, Transfer principle, Class (set theory), Quantum Physics, Logic, 010102 general mathematics, FOS: Physical sciences, 0102 computer and information sciences, Mathematics - Logic, 01 natural sciences, De Morgan's laws, Quantum logic, symbols.namesake, 010201 computation theory & mathematics, 03E40, 03E70, 03E75, 03G12, 06C15, 46L60, 81P10, Truth value, Bounded function, Bounded quantifier, symbols, FOS: Mathematics, Set theory, 0101 mathematics, Quantum Physics (quant-ph), Logic (math.LO), Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::82ea12e6035a8ad4761b2939df906fb0
http://arxiv.org/abs/2002.06692

المؤلفون: Masanao Ozawa

المصدر: The Review of Symbolic Logic. 10:782-807

مصطلحات موضوعية: Transfer principle, Class (set theory), Logic, FOS: Physical sciences, 01 natural sciences, Quantum logic, Mathematics (miscellaneous), 0103 physical sciences, FOS: Mathematics, Axiom of choice, Set theory, 0101 mathematics, 010306 general physics, Mathematical Physics, Axiom, Mathematics, Quantum Physics, Forcing (recursion theory), 010102 general mathematics, Mathematical Physics (math-ph), Mathematics - Logic, Algebra, Philosophy, 03E40, 03E70, 03E75, 03G12, 06C15, 46L60, 81P10, Binary operation, Quantum Physics (quant-ph), Logic (math.LO)

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d8b53108d2e0f2e60f3759779b47e864
https://doi.org/10.1017/s1755020317000120

المؤلفون: Walter Carnielli, Marcelo E. Coniglio

مصطلحات موضوعية: Class (set theory), Semantics (computer science), Paraconsistent logic, Mathematics - Logic, Algebra, Mathematics::Logic, Philosophy, Negation, Computer Science::Logic in Computer Science, FOS: Mathematics, 03E40, 03E70, Independence (mathematical logic), Set theory, Twist, Algebraic number, Logic (math.LO), Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::12e902b78cbd05d2fd6827ac39a143aa

المؤلفون: CAROLIN ANTOS, SY-DAVID FRIEDMAN

مصطلحات موضوعية: Philosophy, Mathematics::Logic, 03Exx, 03E40, 03E70, 010201 computation theory & mathematics, Logic, 010102 general mathematics, FOS: Mathematics, 0102 computer and information sciences, Mathematics - Logic, 0101 mathematics, Logic (math.LO), 01 natural sciences

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::da78af3a381143d8d306ec3572955932
http://arxiv.org/abs/1510.04082

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.