Contributors: Bucciarelli, Antonio, Ledda, Antonio, Paoli, Francesco, Salibra, Antonino
Subject Terms: Boolean-like algebra, Classical logic with n truth value, Equipollence, Many-valued logic, Rewriting systems
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000572703400001; volume:28; issue:1; firstpage:115; lastpage:142; numberofpages:28; journal:FOUNDATIONS OF SCIENCE; https://hdl.handle.net/11584/317256; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85091484910
Contributors: Garau, Chiara, Annunziata, Alfonso, Yamu, Claudia, D'Orlando, Dario, Giuman, Marco
Subject Terms: Roman urbanism, Space syntax, Configuration, Spatial structure, Social logic of space, Movement
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000983269600012; volume:16; issue:1; firstpage:201; lastpage:219; numberofpages:19; journal:TEMA; https://hdl.handle.net/11584/359838; http://www.serena.unina.it/index.php/tema/article/view/9469
Authors: Monfardini, Patrizio, Pilonato, Silvia
Contributors: Monfardini, Patrizio, Pilonato, Silvia
Subject Terms: Performance management system, Universitie, Institutional logic, Institutional complexity, Micro level
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000753777500001; volume:26; issue:2; firstpage:365; lastpage:387; numberofpages:23; journal:THE JOURNAL OF MANAGEMENT AND GOVERNANCE; https://hdl.handle.net/11584/335309; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85124390377
Authors: Pilloni A., Deplano D., Giua A., Usai E.
Contributors: Pilloni, A., Deplano, D., Giua, A., Usai, E.
Subject Terms: Observer, Estimation error, Standard, Perturbation method, Observability, Monitoring, Logic gate, Average estimation, large-scale system, sliding mode observer, functional observer, state estimation
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000668835800023; volume:6; firstpage:632; lastpage:637; numberofpages:6; journal:IEEE CONTROL SYSTEMS LETTERS; http://hdl.handle.net/11584/316552; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85107217500; https://ieeexplore.ieee.org/document/9442839
Authors: Bonzio S., Pra Baldi M.
Contributors: Bonzio, S., Pra Baldi, M.
Subject Terms: Abstract algebraic logic, Containment logic, Non-classical logic, Płonka sums
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000619395100003; volume:109; issue:5; firstpage:969; lastpage:994; numberofpages:26; journal:STUDIA LOGICA; http://hdl.handle.net/11584/322453; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85101244125
Authors: Bonzio S., Moraschini T., PraBaldi M.
Contributors: Bonzio, S., Moraschini, T., Prabaldi, M.
Subject Terms: Abstract algebraic logic, Kleene logics, Płonka sums, Regular varieties
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000526302900001; volume:60; issue:1-2; firstpage:49; lastpage:76; numberofpages:28; journal:ARCHIVE FOR MATHEMATICAL LOGIC; https://hdl.handle.net/11584/322445; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85083773197; https://link.springer.com/article/10.1007/s00153-020-00727-6
Authors: Freytes, Hector, Sergioli, Giuseppe
Contributors: Freytes, Hector, Sergioli, Giuseppe
Subject Terms: Fredkin quantum gate, bipartite quantum system, fuzzy logic
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000700245200001; volume:23; issue:9; firstpage:1178; journal:ENTROPY; http://hdl.handle.net/11584/317947; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85114727161; https://www.mdpi.com/1099-4300/23/9/1178/htm
Authors: Ledda Antonio, Paoli Francesco, PRA BALDI, MICHELE
Contributors: Ledda, Antonio, Paoli, Francesco, PRA BALDI, Michele
Subject Terms: Abstract algebraic logic, Analytic implication, Dependence logic, Plonka sum, Regular varietie, Relevance logic
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000504323600001; volume:48; issue:6; firstpage:957; lastpage:979; numberofpages:23; journal:JOURNAL OF PHILOSOPHICAL LOGIC; http://hdl.handle.net/11584/258560; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85061635408; https://link.springer.com/article/10.1007/s10992-019-09502-2
Authors: Freytes, Hector, Giuntini, Roberto, Sergioli, Giuseppe
Contributors: Freytes, Hector, Giuntini, Roberto, Sergioli, Giuseppe
Subject Terms: quantum computational logic, fuzzy logic, quantum Toffoli gate
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000478585200048; volume:21; issue:7; firstpage:636; journal:ENTROPY; http://hdl.handle.net/11584/280534; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85068908463
Contributors: Tonelli, Roberto, Lunesu, Maria Ilaria, Pinna, Andrea, Taibi, Davide, Marchesi, Michele
Subject Terms: Blockchain, Cloud Native, Microservice, Serverle, Smart contract, Computer architecture, Computer language, Logic gate, Serverless
Relation: info:eu-repo/semantics/altIdentifier/isbn/978-1-7281-1807-9; info:eu-repo/semantics/altIdentifier/wos/WOS:000469455400003; ispartofbook:2019 IEEE International Workshop on Blockchain Oriented Software Engineering (IWBOSE); 2nd IEEE International Workshop on Blockchain Oriented Software Engineering, IWBOSE 2019; firstpage:22; lastpage:31; numberofpages:10; http://hdl.handle.net/11584/262865; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85063937410; https://ieeexplore.ieee.org/abstract/document/8666520
Authors: Stefano Bonzio, Francesco Paoli, Michele Pra Baldi
Contributors: Bonzio, Stefano, Paoli, Francesco, Pra Baldi, Michele
Subject Terms: Many-valued Logic, Logics of Variable Inclusion, Significance Logic, Kleene Logics Nonclassical Logic, Regular Varietie, Plonka Sum, Bisemilattice, Abstract Algebraic, Logic, Universal Algebra, Analyticity, Consequence, and Meaninglessness Płonka Sums and Regular Varietie, Dualities for Regular Varietie, Logics of Left Variable Inclusion, Logics of Right Variable Inclusion, Paraconsistent Weak Kleene Logic
Relation: info:eu-repo/semantics/altIdentifier/isbn/9783031042966; info:eu-repo/semantics/altIdentifier/isbn/9783031042973; volume:59; numberofpages:240; serie:Trends in Logic; https://hdl.handle.net/11584/330854; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85132378120
Authors: F. Beccuti
Contributors: Maria Trigueros, Beccuti, F.
Subject Terms: Teaching and learning of logic, reasoning and proof, Curricular and institutional issues concerning the teaching of mathematics at university level, Visualization, Imagination, Intuition
Relation: ispartofbook:Indrum 2022 proceedings: Fourth conference of the International Network for Didactic Research in University Mathematics; Fourth Conference of the International Network for Didactic Research in University Mathematics; firstpage:263; lastpage:272; numberofpages:10; journal:PROCEEDINGS; alleditors:Maria Trigueros, et al.; https://hdl.handle.net/11584/383626; https://indrum2022.sciencesconf.org/data/Proceedings_Indrum2022.pdf; https://indrum2022.sciencesconf.org/
Contributors: Dalla Chiara, M. L., Giuntini, Roberto, Sergioli, Giuseppe, Leporini, R.
Subject Terms: Quantum logic, Quantum tomography, logical gates
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000427469700008; volume:335; firstpage:94; lastpage:111; numberofpages:18; journal:FUZZY SETS AND SYSTEMS; http://hdl.handle.net/11584/213909; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85008457027
Authors: SERGIOLI, GIUSEPPE, FREYTES, HECTOR CARLOS
Contributors: Sergioli, Giuseppe, Freytes, HECTOR CARLOS
Subject Terms: Fredkin gate, Density operator, Fuzzy logic
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000424124400008; volume:28; issue:1; firstpage:245; lastpage:263; numberofpages:19; journal:JOURNAL OF LOGIC AND COMPUTATION; http://hdl.handle.net/11584/225981; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85041524774
Contributors: Sergioli, Giuseppe, Dalla Chiara, M, Leporini, R, Giuntini, Roberto
Subject Terms: Epistemic operator, Quantum computation, Quantum computational logic, Artificial Intelligence, Logic
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000376779800006; volume:298; firstpage:69; lastpage:90; numberofpages:22; journal:FUZZY SETS AND SYSTEMS; http://hdl.handle.net/11584/116105; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84941661853; http://www.journals.elsevier.com/fuzzy-sets-and-systems/
Authors: CINTULA, PETR, PAOLI, FRANCESCO
Contributors: Cintula, Petr, Paoli, Francesco
Subject Terms: Contraction-free logic, Multiset consequence, Substructural logic, Multiple conclusions
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000742032000011; volume:199; firstpage:741; lastpage:765; numberofpages:25; journal:SYNTHESE; http://hdl.handle.net/11584/204938; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84986278287; https://link.springer.com/article/10.1007/s11229-016-1209-7
Contributors: Chiara, Maria Luisa Dalla, Giuntini, Roberto, Sergioli, Giuseppe, Leporini, Roberto
Subject Terms: Quantum computation, quantum computational logic, Physics and Astronomy (miscellaneous)
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000383806200020; volume:14; issue:4; numberofpages:15; journal:INTERNATIONAL JOURNAL OF QUANTUM INFORMATION; http://hdl.handle.net/11584/162103; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84973643866; http://www.worldscinet.com/ijqi/ijqi.shtml
Authors: francesco paoli, michele pra baldi
Contributors: Paoli, Francesco, PRA BALDI, Michele
Subject Terms: 3-Valued logic, Paraconsistent Weak Kleene Logic, Logics of variable inclusion, Sequent calculi, Tableaux calculi
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000492342300002; volume:108; issue:4; firstpage:779; lastpage:802; numberofpages:24; journal:STUDIA LOGICA; http://hdl.handle.net/11584/282116; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85074469654
Authors: Piras, MV, MISTRETTA, FAUSTO, Fadda, ML, DEIAS, LUISA
Contributors: Piras, Mv, Mistretta, Fausto, Fadda, Ml, Deias, Luisa
Subject Terms: safety assessment of structure, fuzzy logic
Relation: volume:2015; firstpage:1; lastpage:15; numberofpages:15; journal:JOURNAL OF CONSTRUCTION ENGINEERING; http://hdl.handle.net/11584/201223; https://www.hindawi.com/journals/jcen/2015/171989/
Authors: de Ronde, C., Freytes, H., Sergioli, G.
Contributors: de Ronde, C., Freytes, H., Sergioli, G.
Subject Terms: Quantum computation, Quantum computational logic, Quantum probability, Reliability, Philosophy, Social Sciences
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000714393900004; volume:198; issue:Suppl. 23; firstpage:5679; lastpage:5699; numberofpages:21; journal:SYNTHESE; http://hdl.handle.net/11584/264963; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85063210505