Book |
- Gomes, Diogo; Sernadas, Amílcar; Sernadas, Cristina; Rasga, Joao; Mateus, Paulo. A Mathematical Primer on Linear Optimization.
United Kingdom: College Publications. 2019.
Published
- Sernadas, Amílcar; Sernadas, Cristina; Rasga, Joao; Ramos, Jaime. A Mathematical Primer on Computability. United Kingdom:
College Publications. 2018.
Published
- Mateus, P.; Ramos, J.; Sernadas, A.; Sernadas, C.. Temporal logics for reasoning about quantum systems. 2013.
10.1017/CBO9781139193313.011
- Sernadas, Amílcar; Sernadas, Cristina. Foundation of Logic and Theory of Computation. United Kingdom: College Publications.
2012.
Published
- Sernadas, Cristina. Analysis and Synthesis of Logics. Springer Netherlands. 2008.
10.1007/978-1-4020-6782-2
- Rasga, J.; Sernadas, A.; Sernadas, C.; Viganò, L.. Labelled deduction over algebras of truth-values. 2002.
- Mateus, P.; Sernadas, A.; Sernadas, C.. Realization of probabilistic automata: Categorical approach. 2000.
- Caleiro, C.; Sernadas, C.; Sernadas, A.. Parameterisation of logics. 1999.
10.1007/3-540-48483-3_4
- Sernadas, A.; Sernadas, C.; Caleiro, C.. Synchronization of logics with mixed rules: Completeness preservation. 1997.
- Sernadas, A.; Sernadas, C.; Valenca, J.M.. A theory-based topological notion of institution. 1995.
- Sernadas, A.; Costa, J.F.; Sernadas, C.. An institution of object behaviour. 1994.
- Costa, J.F.; Sernadas, A.; Sernadas, C.. Data encapsulation and modularity: Three views of inheritance. 1993.
- Costa, J.F.; Sernadas, A.; Sernadas, C.; Ehrich, H.-D.. Object interaction. 1992.
- Jungclaus, R.; Saake, G.; Sernadas, C.. Formal specification of object systems. 1991.
10.1007/3540539816_61
- Sernadas, A.; Fiadeiro, J.; Sernadas, C.; Ehrich, H.-D.. Abstract object types: A temporal perspective. 1989.
10.1007/3-540-51803-7_33
- Ehrich, H.-D.; Sernadas, A.; Sernadas, C.. Abstract object types for databases. 1988.
10.1007/3-540-50345-5_10
|
Journal article |
- Jaime Ramos; João Rasga; Cristina Sernadas. "Schema Complexity in Propositional-Based Logics". Mathematics (2021):
https://doi.org/10.3390/math9212671.
10.3390/math9212671
- Jaime Ramos; João Rasga; Cristina Sernadas; Luca Viganò. "Event-Based Time-Stamped Claim Logic". Journal of Logical and
Algebraic Methods in Programming (2021): 100684-100684. https://doi.org/10.1016/j.jlamp.2021.100684.
10.1016/j.jlamp.2021.100684
- Sernadas, A; Rasga, J; Sernadas, C; Alcácer, L; Henriques, A B. "Probabilistic logic of quantum observations". Logic Journal
of the IGPL 27 3 (2018): 328-370. http://dx.doi.org/10.1093/jigpal/jzy051.
10.1093/jigpal/jzy051
- Sernadas, Cristina. "On probability and logic". Portugaliae Mathematica (2017): http://dx.doi.org/10.4171/pm/2007.
10.4171/pm/2007
- RASGA, J.; SERNADAS, C.; MATEUS, P.; SERNADAS, A.. "Decision and optimization problems in the unreliable-circuit logic". Logic
Journal of the IGPL 25 3 (2017): 284-308. http://www.scopus.com/inward/record.url?eid=2-s2.0-85027266726&partnerID=MN8TOARS.
10.1093/jigpal/jzx005
- Rasga, J.; Sernadas, C.; Sernadas, A.. "PRESERVATION of ADMISSIBLE RULES WHEN COMBINING LOGICS". Review of Symbolic Logic
9 4 (2016): 641-663. http://www.scopus.com/inward/record.url?eid=2-s2.0-84983027886&partnerID=MN8TOARS.
10.1017/S1755020316000241
- Rasga, J.; Sernadas, C.; Sernadas, A.. "Craig Interpolation in the Presence of Unreliable Connectives". Logica Universalis
8 3-4 (2014): 423-446. http://www.scopus.com/inward/record.url?eid=2-s2.0-84916211797&partnerID=MN8TOARS.
10.1007/s11787-014-0101-9
- Rasga, J.; Sernadas, A.; Sernadas, C.. "Fibring as Biporting Subsumes Asymmetric Combinations". Studia Logica 102 5
(2014): 1041-1074. http://www.scopus.com/inward/record.url?eid=2-s2.0-84919355735&partnerID=MN8TOARS.
10.1007/s11225-013-9524-1
- Sernadas, A.; Rasga, J.; Sernadas, C.; Mateus, P.. "Approximate reasoning about logic circuits with single-fan-out unreliable
gates". Journal of Logic and Computation 24 5 (2014): 1023-1069. http://www.scopus.com/inward/record.url?eid=2-s2.0-84931058090&partnerID=MN8TOARS.
10.1093/logcom/ext038
- Sernadas, C.; Rasga, J.; Sernadas, A.. "Preservation of Craig interpolation by the product of matrix logics". Journal of
Applied Logic 11 3 (2013): 328-349. http://www.scopus.com/inward/record.url?eid=2-s2.0-84881187948&partnerID=MN8TOARS.
10.1016/j.jal.2013.06.001
- Rasga, J.; Lotfallah, W.B.; Sernadas, C.. "Completeness and interpolation of almost-everywhere quantification over finitely
additive measures". Mathematical Logic Quarterly 59 4-5 (2013): 286-302. http://www.scopus.com/inward/record.url?eid=2-s2.0-84882577807&partnerID=MN8TOARS.
10.1002/malq.201110051
- Rasga, J.; Sernadas, A.; Sernadas, C.. "Importing Logics: Soundness and Completeness Preservation". Studia Logica 101
1 (2013): 117-155. http://www.scopus.com/inward/record.url?eid=2-s2.0-84874113191&partnerID=MN8TOARS.
10.1007/s11225-011-9363-x
- Rasga, J.; Sernadas, A.; Sernadas, C.. "Importing Logics". Studia Logica 100 3 (2012): 545-581. http://www.scopus.com/inward/record.url?eid=2-s2.0-84863553758&partnerID=MN8TOARS.
10.1007/s11225-012-9414-y
- Sernadas, A.; Sernadas, C.; Rasga, J.. "On meet-combination of logics". Journal of Logic and Computation 22 6 (2012):
1453-1470. http://www.scopus.com/inward/record.url?eid=2-s2.0-84870227927&partnerID=MN8TOARS.
10.1093/logcom/exr035
- Coniglio, M.E.; Sernadas, A.; Sernadas, C.. "Preservation by fibring of the finite model property". Journal of Logic and
Computation 21 2 (2011): 375-402. http://www.scopus.com/inward/record.url?eid=2-s2.0-79953710564&partnerID=MN8TOARS.
10.1093/logcom/exq022
- Sernadas, A.; Sernadas, C.; Rasga, J.. "On Combined Connectives". Logica Universalis 5 2 (2011): 205-224. http://www.scopus.com/inward/record.url?eid=2-s2.0-80255122730&partnerID=MN8TOARS.
10.1007/s11787-011-0032-7
- Rasga, J.; Roggia, K.; Sernadas, C.. "Fusion of sequent modal logic systems labelled with truth values". Logic Journal
of the IGPL 18 6 (2010): 893-920. http://www.scopus.com/inward/record.url?eid=2-s2.0-78049359394&partnerID=MN8TOARS.
10.1093/jigpal/jzp081
- Sernadas, A.; Sernadas, C.; Rasga, J.; Coniglio, M.. "A graph-theoretic account of logics". Journal of Logic and Computation
19 6 (2009): 1281-1320. http://www.scopus.com/inward/record.url?eid=2-s2.0-72649096740&partnerID=MN8TOARS.
10.1093/logcom/exp023
- Sernadas, A.; Sernadas, C.; Rasga, J.; Coniglio, M.. "On graph-theoretic fibring of logics". Journal of Logic and Computation
19 6 (2009): 1321-1357. http://www.scopus.com/inward/record.url?eid=2-s2.0-72649083775&partnerID=MN8TOARS.
10.1093/logcom/exp024
- Chadha, R.; Mateus, P.; Sernadas, A.; Sernadas, C.. "Extending Classical Logic for Reasoning About Quantum Systems". Handbook
of Quantum Logic and Quantum Structures (2009): 325-371. http://www.scopus.com/inward/record.url?eid=2-s2.0-84863550578&partnerID=MN8TOARS.
10.1016/B978-0-444-52869-8.50011-6
- Rasga, J.; Carnielli, W.; Sernadas, C.. "Interpolation via translations". Mathematical Logic Quarterly 55 5 (2009):
515-534. http://www.scopus.com/inward/record.url?eid=2-s2.0-76749110774&partnerID=MN8TOARS.
10.1002/malq.200810013
- Cruz-Filipe, L.; Rasga, J.; Sernadas, A.; Sernadas, C.. "Complete axiomatization of discrete-measure almost-everywhere quantification".
Journal of Logic and Computation 18 6 (2008): 885-911. http://www.scopus.com/inward/record.url?eid=2-s2.0-57249086041&partnerID=MN8TOARS.
10.1093/logcom/exn014
- Cruz-Filipe, L.; Sernadas, A.; Sernadas, C.. "Heterogeneous fibring of deductive systems via abstract proof systems". Logic
Journal of the IGPL 16 2 (2008): 121-153. http://www.scopus.com/inward/record.url?eid=2-s2.0-41249096629&partnerID=MN8TOARS.
10.1093/jigpal/jzm057
- Carnielli, W.; Rasga, J.; Sernadas, C.. "Preservation of Interpolation Features by Fibring". Journal of Logic and Computation
18 1 (2008): 123-151. http://www.scopus.com/inward/record.url?eid=2-s2.0-38749084168&partnerID=MN8TOARS.
10.1093/logcom/exm061
- Caleiro, C.; Mateus, P.; Sernadas, A.; Sernadas, C.. "Quantum institutions". Lecture Notes in Computer Science (including
subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4060 LNCS (2006): 50-64. http://www.scopus.com/inward/record.url?eid=2-s2.0-34248170212&partnerID=MN8TOARS.
- Mateus, P.; Rasga, J.; Sernadas, C.. "Modal sequent calculil labelled with truth values: Cut elimination". Logic Journal
of the IGPL 13 2 (2005): 173-199. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750112290&partnerID=MN8TOARS.
10.1093/jigpal/jzi013
- Sernadas, C.; Viganó, L.; Rasga, J.; Sernadas, A.. "Truth-values as labels: A general recipe for labelled deduction". Journal
of Applied Non-Classical Logics 13 3-4 (2003): 277-315. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750142428&partnerID=MN8TOARS.
10.3166/jancl.13.277-315
- Mateus, P.; Morais, M.; Nunes, C.; Pacheco, A.; Sernadas, A.; Sernadas, C.. "Categorical foundations for randomly timed automata".
Theoretical Computer Science 308 1-3 (2003): 393-427. http://www.scopus.com/inward/record.url?eid=2-s2.0-0142124715&partnerID=MN8TOARS.
10.1016/S0304-3975(02)00894-0
- Coniglio, M.E.; Sernadas, A.C.; Sernadas, C.S.. "Fibring logics with topos semantics". Journal of Logic and Computation
13 4 (2003): 595-624. http://www.scopus.com/inward/record.url?eid=2-s2.0-0042866029&partnerID=MN8TOARS.
10.1093/logcom/13.4.595
- Sernadas, C.; Rasga, J.; Carnielli, W.A.. "Modulated fibring and the collapsing problem". Journal of Symbolic Logic
67 4 (2002): 1541-1569. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036950370&partnerID=MN8TOARS.
- Schobbens, P.Y.; Saake, G.; Sernadas, A.; Sernadas, C.. "A two-level temporal logic for evolving specifications". Information
Processing Letters 83 3 (2002): 167-172. http://www.scopus.com/inward/record.url?eid=2-s2.0-0037119067&partnerID=MN8TOARS.
10.1016/S0020-0190(02)00289-2
- Rasga, J.; Sernadas, A.; Sernadas, C.; Viganò, L.. "Fibring labelled deduction systems". Journal of Logic and Computation
12 3 (2002): 443-473. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036608983&partnerID=MN8TOARS.
10.1093/logcom/12.3.443
- Zanardo, A.; Sernadas, A.; Sernadas, C.. "Fibring: Completeness preservation". Journal of Symbolic Logic 66 1 (2001):
414-439. http://www.scopus.com/inward/record.url?eid=2-s2.0-0035633617&partnerID=MN8TOARS.
- Mateus, P.; Pacheco, A.; Pinto, J.; Sernadas, A.; Sernadas, C.. "Probabilistic Situation Calculus". Annals of Mathematics
and Artificial Intelligence 32 1-4 (2001): 393-431. http://www.scopus.com/inward/record.url?eid=2-s2.0-0035598191&partnerID=MN8TOARS.
10.1023/A:1016738205696
- Pinto, J.; Sernadas, A.; Sernadas, C.; Mateus, P.. "Non-determinism and uncertainty in the situation calculus". International
Journal of Uncertainty, Fuzziness and Knowlege-Based Systems 8 2 (2000): 127-149. http://www.scopus.com/inward/record.url?eid=2-s2.0-0010365117&partnerID=MN8TOARS.
- Mateus, P.; Sernadas, A.; Sernadas, C.. "Precategories for combining probabilistic automata". Electronic Notes in Theoretical
Computer Science 29 (1999): 169-186. http://www.scopus.com/inward/record.url?eid=2-s2.0-0142075135&partnerID=MN8TOARS.
10.1016/S1571-0661(05)80315-9
- Sernadas, A.; Sernadas, C.; Caleiro, C.. "Fibring of logics as a categorial construction". Journal of Logic and Computation
9 2 (1999): 149-179. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032640209&partnerID=MN8TOARS.
- Sernadas, A.; Sernadas, C.; Caleiro, C.. "Denotational semantics of object specification". Acta Informatica 35 9 (1998):
729-773. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032375623&partnerID=MN8TOARS.
- Sernadas, A.; Sernadas, C.; Caleiro, C.. "Synchronization of logics". Studia Logica 59 2 (1997): 217-247. http://www.scopus.com/inward/record.url?eid=2-s2.0-0002154823&partnerID=MN8TOARS.
- Sernadas, A.; Sernadas, C.; Ramos, J.. "A temporal logic approach to object certification". Data and Knowledge Engineering
19 3 (1996): 267-294. http://www.scopus.com/inward/record.url?eid=2-s2.0-0030168682&partnerID=MN8TOARS.
10.1016/0169-023X(96)00004-3
- Jungclaus, R.; Saake, G.; Hartmann, T.; Sernadas, C.. "TROLL - A Language for Object-Oriented Specification of Information
Systems". ACM Transactions on Information Systems 14 2 (1996): 175-211. http://www.scopus.com/inward/record.url?eid=2-s2.0-0030127113&partnerID=MN8TOARS.
- Sernadas, A.; Sernadas, C.; Costa, J.F.. "Object specification logic". Journal of Logic and Computation 5 5 (1995):
603-630. http://www.scopus.com/inward/record.url?eid=2-s2.0-77957184803&partnerID=MN8TOARS.
10.1093/logcom/5.5.603
- Costa, J.F.; Sernadas, A.; Sernadas, C.. "Object inheritance beyond subtyping". Acta Informatica 31 1 (1994): 5-26.
http://www.scopus.com/inward/record.url?eid=2-s2.0-21344491785&partnerID=MN8TOARS.
10.1007/BF01178920
- Sernadas, C.; Fiadeiro, J.. "Towards object-oriented conceptual modeling". Data and Knowledge Engineering 6 6 (1991):
479-508. http://www.scopus.com/inward/record.url?eid=2-s2.0-0026242630&partnerID=MN8TOARS.
10.1016/0169-023X(91)90025-S
- Sernadas, C.; Fiadeiro, J.; Sernadas, A.. "Modular construction of logic knowledge bases: An algebraic approach". Information
Systems 15 1 (1990): 37-59. http://www.scopus.com/inward/record.url?eid=2-s2.0-0025623183&partnerID=MN8TOARS.
10.1016/0306-4379(90)90015-H
- Sousa, J.P.; Sernadas, C.; Sernadas, A.. "An object-oriented specification tool for graphical interfaces". Computers and
Graphics 14 1 (1990): 29-40. http://www.scopus.com/inward/record.url?eid=2-s2.0-0025588151&partnerID=MN8TOARS.
10.1016/0097-8493(90)90006-J
- Sernadas, C.. "Modular construction of logic knowledge bases: An algebraic approach". Information Systems 15 1 (1990):
37-59. http://www.scopus.com/inward/record.url?eid=2-s2.0-0025623183&partnerID=MN8TOARS.
10.1016/0306-4379(90)90015-F
- Sernadas, Cristina; Coelho, Helder; Gaspar, Graca. "COMMUNICATING KNOWLEDGE SYSTEMS: PART 1 - BIG TALK AMONG SMALL SYSTEMS.".
Applied Artificial Intelligence 1 3 (1987): 233-260. http://www.scopus.com/inward/record.url?eid=2-s2.0-0023568734&partnerID=MN8TOARS.
10.1080/08839518708927973
- Sernadas, C.; Coelho, H.; Gaspar, G.. "Communicating knowledge systems: Part II—Big talk among small systems". Applied
Artificial Intelligence 1 4 (1987): 315-335. http://www.scopus.com/inward/record.url?eid=2-s2.0-84950454056&partnerID=MN8TOARS.
10.1080/08839518708927978
- Sernadas, Cristina; Carapuca, R.. "ROLE OF CONCEPTUAL MODELLING ABSTRACTIONS IN COMPILER DEVELOPMENT.". Computer Journal
30 4 (1987): 328-336. http://www.scopus.com/inward/record.url?eid=2-s2.0-0023399431&partnerID=MN8TOARS.
- Sernadas, Amilcar; Sernadas, Cristina. "USE OF E-R ABSTRACTIONS FOR KNOWLEDGE REPRESENTATION.". (1985): 224-231. http://www.scopus.com/inward/record.url?eid=2-s2.0-0022189487&partnerID=MN8TOARS.
|